0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 885 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 153 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 749 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 0 ms)
↳8 PiDP
↳9 PiDPToQDPProof (⇒, 339 ms)
↳10 QDP
↳11 Instantiation (⇔, 0 ms)
↳12 QDP
↳13 QDPOrderProof (⇔, 1716 ms)
↳14 QDP
↳15 DependencyGraphProof (⇔, 0 ms)
↳16 TRUE
qD_in_gg(a, b) → qD_out_gg(a, b)
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(T22, rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(T656, pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(T628, rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(T565, qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(T579, pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(T534, rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(T487, qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(T501, pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(T456, rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(T409, qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(T322, qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(T200, T201, pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(T200, T201, rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(T228, T229, pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(T228, T229, qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(T682, T683, rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(T710, T711, pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(T710, T711, qD_in_gg(T710, T711))
U55_gg(T710, T711, qD_out_gg(T710, T711)) → pN9_out_gg(T710, T711)
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg(a, b)) → pN9_out_gg(a, b)
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg(T736, f(T737))) → U58_gg(T736, T737, pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg(f(T742), f(T742))) → U60_gg(T742, tE_in_g(T742))
tE_in_g(T270) → U11_g(T270, pH_in_g(T270))
pH_in_g(T270) → U8_g(T270, qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(T75, pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(T89, pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(T113, pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(T127, pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(T151, pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(T165, pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, pK_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qP_out_g(f(f(T179)))
U22_g(T165, qP_out_g(T165)) → pO_out_g(T165)
U22_g(T165, qP_out_g(T165)) → U23_g(T165, rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g(f(T356))) → U18_g(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg(f(T260), f(T260))) → U6_gg(T260, tE_in_g(T260))
U6_gg(T260, tE_out_g(T260)) → pC_out_gg(T260, f(T260))
U4_gg(T254, T255, pC_out_gg(T254, T255)) → pC_out_gg(T254, f(T255))
U18_g(T356, pC_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rL_out_g(f(f(T356)))
U23_g(T165, rL_out_g(T165)) → pO_out_g(T165)
U75_g(T165, pO_out_g(T165)) → rT_out_g(T165)
U27_g(T151, rT_out_g(T151)) → pS_out_g(T151)
U27_g(T151, rT_out_g(T151)) → U28_g(T151, pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g(f(f(T389)))) → U21_g(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(T285, tE_in_g(T285))
U78_gg(T285, tE_out_g(T285)) → rJ_out_gg(T285, T285)
U13_gg(T303, T304, rJ_out_gg(T303, f(T304))) → U14_gg(T303, T304, pI_in_gg(T303, T304))
U14_gg(T303, T304, pI_out_gg(T303, T304)) → pI_out_gg(T303, f(T304))
U21_g(T389, pI_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN_out_g(f(f(T389)))
U28_g(T151, pN_out_g(T151)) → pS_out_g(T151)
U74_g(T151, pS_out_g(T151)) → qW_out_g(f(f(T151)))
U32_g(T127, qW_out_g(T127)) → pV_out_g(T127)
U32_g(T127, qW_out_g(T127)) → U33_g(T127, rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g(f(T440))) → U26_g(T440, pO_in_g(T440))
U26_g(T440, pO_out_g(T440)) → rQ_out_g(f(f(T440)))
U33_g(T127, rQ_out_g(T127)) → pV_out_g(T127)
U73_g(T127, pV_out_g(T127)) → rN1_out_g(T127)
U37_g(T113, rN1_out_g(T113)) → pZ_out_g(T113)
U37_g(T113, rN1_out_g(T113)) → U38_g(T113, pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g(f(f(T470)))) → U31_g(T470, pS_in_g(T470))
U31_g(T470, pS_out_g(T470)) → pU_out_g(f(f(T470)))
U38_g(T113, pU_out_g(T113)) → pZ_out_g(T113)
U72_g(T113, pZ_out_g(T113)) → qN4_out_g(f(f(T113)))
U42_g(T89, qN4_out_g(T89)) → pN3_out_g(T89)
U42_g(T89, qN4_out_g(T89)) → U43_g(T89, rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g(f(T518))) → U36_g(T518, pV_in_g(T518))
U36_g(T518, pV_out_g(T518)) → rX_out_g(f(f(T518)))
U43_g(T89, rX_out_g(T89)) → pN3_out_g(T89)
U71_g(T89, pN3_out_g(T89)) → rN8_out_g(T89)
U50_g(T75, rN8_out_g(T75)) → pG_out_g(T75)
U50_g(T75, rN8_out_g(T75)) → U51_g(T75, pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g(f(f(T548)))) → U41_g(T548, pZ_in_g(T548))
U41_g(T548, pZ_out_g(T548)) → pN2_out_g(f(f(T548)))
U51_g(T75, pN2_out_g(T75)) → pG_out_g(T75)
U7_g(T75, pG_out_g(T75)) → qF_out_g(f(f(T75)))
U8_g(T270, qF_out_g(f(T270))) → pH_out_g(T270)
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g(f(f(T281)))) → U10_g(T281, pH_in_g(T281))
U10_g(T281, pH_out_g(T281)) → pH_out_g(f(T281))
U11_g(T270, pH_out_g(T270)) → tE_out_g(T270)
U60_gg(T742, tE_out_g(T742)) → pN9_out_gg(f(T742), f(T742))
U58_gg(T736, T737, pN9_out_gg(T736, T737)) → pN9_out_gg(T736, f(T737))
U83_gg(T710, T711, pN9_out_gg(T710, T711)) → rN11_out_gg(T710, T711)
rN11_in_gg(f(T746), T746) → U84_gg(T746, tE_in_g(T746))
U84_gg(T746, tE_out_g(T746)) → rN11_out_gg(f(T746), T746)
U61_gg(T682, T683, rN11_out_gg(T682, T683)) → pN10_out_gg(T682, T683)
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg(a, b)) → pN10_out_gg(a, b)
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg(T764, f(T765))) → U64_gg(T764, T765, pN10_in_gg(T764, T765))
U64_gg(T764, T765, pN10_out_gg(T764, T765)) → pN10_out_gg(T764, f(T765))
U87_gg(T682, T683, pN10_out_gg(T682, T683)) → qD_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, qD_out_gg(f(T228), T229)) → pC_out_gg(T228, T229)
U77_gg(T228, T229, pC_out_gg(T228, T229)) → rJ_out_gg(T228, T229)
U12_gg(T200, T201, rJ_out_gg(T200, T201)) → pI_out_gg(T200, T201)
U15_gg(T200, T201, pI_out_gg(T200, T201)) → pK_out_gg(T200, T201)
U79_g(T336, pK_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qM_out_g(f(f(T336)))
U16_g(T322, qM_out_g(T322)) → rL_out_g(f(T322))
U19_g(T375, rL_out_g(f(T375))) → pN_out_g(f(T375))
U80_g(T423, pN_out_g(f(T423))) → qR_out_g(f(f(T423)))
U24_g(T409, qR_out_g(T409)) → rQ_out_g(f(T409))
U29_g(T456, rQ_out_g(f(T456))) → pU_out_g(f(T456))
U81_g(T501, pU_out_g(f(T501))) → qY_out_g(f(f(T501)))
U34_g(T487, qY_out_g(T487)) → rX_out_g(f(T487))
U39_g(T534, rX_out_g(f(T534))) → pN2_out_g(f(T534))
U82_g(T579, pN2_out_g(f(T579))) → qN7_out_g(f(f(T579)))
U46_g(T565, qN7_out_g(T565)) → rN6_out_g(f(T565))
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g(f(T596))) → U48_g(T596, pN3_in_g(T596))
U48_g(T596, pN3_out_g(T596)) → rN6_out_g(f(f(T596)))
rN6_in_g(f(T601)) → U49_g(T601, tE_in_g(T601))
U49_g(T601, tE_out_g(T601)) → rN6_out_g(f(T601))
U52_g(T628, rN6_out_g(f(T628))) → pB_out_g(f(T628))
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g(f(f(T642)))) → U54_g(T642, pG_in_g(T642))
U54_g(T642, pG_out_g(T642)) → pB_out_g(f(f(T642)))
U1_g(T656, pB_out_g(f(T656))) → qA_out_g(f(T656))
U69_g(T36, qA_out_g(T36)) → rN13_out_g(T36)
U69_g(T36, qA_out_g(T36)) → U70_g(T36, rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g(T51)) → rN5_out_g(T51)
U44_g(T51, qF_out_g(T51)) → U45_g(T51, rN6_in_g(T51))
U45_g(T51, rN6_out_g(T51)) → rN5_out_g(T51)
U70_g(T36, rN5_out_g(T36)) → rN13_out_g(T36)
U65_g(T22, rN13_out_g(T22)) → pN12_out_g(T22)
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g(T614)) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g(T614)) → pN12_out_g(T614)
U67_g(T614, rN5_out_g(T614)) → U68_g(T614, pB_in_g(T614))
U68_g(T614, pB_out_g(T614)) → pN12_out_g(T614)
U85_gg(T11, pN12_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_gg(T11, pN12_out_g(T11)) → U86_gg(T11, qA_in_g(T11))
U86_gg(T11, qA_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
qD_in_gg(a, b) → qD_out_gg(a, b)
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(T22, rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(T656, pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(T628, rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(T565, qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(T579, pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(T534, rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(T487, qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(T501, pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(T456, rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(T409, qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(T322, qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(T200, T201, pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(T200, T201, rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(T228, T229, pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(T228, T229, qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(T682, T683, rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(T710, T711, pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(T710, T711, qD_in_gg(T710, T711))
U55_gg(T710, T711, qD_out_gg(T710, T711)) → pN9_out_gg(T710, T711)
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg(a, b)) → pN9_out_gg(a, b)
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg(T736, f(T737))) → U58_gg(T736, T737, pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg(f(T742), f(T742))) → U60_gg(T742, tE_in_g(T742))
tE_in_g(T270) → U11_g(T270, pH_in_g(T270))
pH_in_g(T270) → U8_g(T270, qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(T75, pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(T89, pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(T113, pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(T127, pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(T151, pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(T165, pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, pK_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qP_out_g(f(f(T179)))
U22_g(T165, qP_out_g(T165)) → pO_out_g(T165)
U22_g(T165, qP_out_g(T165)) → U23_g(T165, rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g(f(T356))) → U18_g(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg(f(T260), f(T260))) → U6_gg(T260, tE_in_g(T260))
U6_gg(T260, tE_out_g(T260)) → pC_out_gg(T260, f(T260))
U4_gg(T254, T255, pC_out_gg(T254, T255)) → pC_out_gg(T254, f(T255))
U18_g(T356, pC_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rL_out_g(f(f(T356)))
U23_g(T165, rL_out_g(T165)) → pO_out_g(T165)
U75_g(T165, pO_out_g(T165)) → rT_out_g(T165)
U27_g(T151, rT_out_g(T151)) → pS_out_g(T151)
U27_g(T151, rT_out_g(T151)) → U28_g(T151, pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g(f(f(T389)))) → U21_g(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(T285, tE_in_g(T285))
U78_gg(T285, tE_out_g(T285)) → rJ_out_gg(T285, T285)
U13_gg(T303, T304, rJ_out_gg(T303, f(T304))) → U14_gg(T303, T304, pI_in_gg(T303, T304))
U14_gg(T303, T304, pI_out_gg(T303, T304)) → pI_out_gg(T303, f(T304))
U21_g(T389, pI_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN_out_g(f(f(T389)))
U28_g(T151, pN_out_g(T151)) → pS_out_g(T151)
U74_g(T151, pS_out_g(T151)) → qW_out_g(f(f(T151)))
U32_g(T127, qW_out_g(T127)) → pV_out_g(T127)
U32_g(T127, qW_out_g(T127)) → U33_g(T127, rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g(f(T440))) → U26_g(T440, pO_in_g(T440))
U26_g(T440, pO_out_g(T440)) → rQ_out_g(f(f(T440)))
U33_g(T127, rQ_out_g(T127)) → pV_out_g(T127)
U73_g(T127, pV_out_g(T127)) → rN1_out_g(T127)
U37_g(T113, rN1_out_g(T113)) → pZ_out_g(T113)
U37_g(T113, rN1_out_g(T113)) → U38_g(T113, pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g(f(f(T470)))) → U31_g(T470, pS_in_g(T470))
U31_g(T470, pS_out_g(T470)) → pU_out_g(f(f(T470)))
U38_g(T113, pU_out_g(T113)) → pZ_out_g(T113)
U72_g(T113, pZ_out_g(T113)) → qN4_out_g(f(f(T113)))
U42_g(T89, qN4_out_g(T89)) → pN3_out_g(T89)
U42_g(T89, qN4_out_g(T89)) → U43_g(T89, rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g(f(T518))) → U36_g(T518, pV_in_g(T518))
U36_g(T518, pV_out_g(T518)) → rX_out_g(f(f(T518)))
U43_g(T89, rX_out_g(T89)) → pN3_out_g(T89)
U71_g(T89, pN3_out_g(T89)) → rN8_out_g(T89)
U50_g(T75, rN8_out_g(T75)) → pG_out_g(T75)
U50_g(T75, rN8_out_g(T75)) → U51_g(T75, pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g(f(f(T548)))) → U41_g(T548, pZ_in_g(T548))
U41_g(T548, pZ_out_g(T548)) → pN2_out_g(f(f(T548)))
U51_g(T75, pN2_out_g(T75)) → pG_out_g(T75)
U7_g(T75, pG_out_g(T75)) → qF_out_g(f(f(T75)))
U8_g(T270, qF_out_g(f(T270))) → pH_out_g(T270)
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g(f(f(T281)))) → U10_g(T281, pH_in_g(T281))
U10_g(T281, pH_out_g(T281)) → pH_out_g(f(T281))
U11_g(T270, pH_out_g(T270)) → tE_out_g(T270)
U60_gg(T742, tE_out_g(T742)) → pN9_out_gg(f(T742), f(T742))
U58_gg(T736, T737, pN9_out_gg(T736, T737)) → pN9_out_gg(T736, f(T737))
U83_gg(T710, T711, pN9_out_gg(T710, T711)) → rN11_out_gg(T710, T711)
rN11_in_gg(f(T746), T746) → U84_gg(T746, tE_in_g(T746))
U84_gg(T746, tE_out_g(T746)) → rN11_out_gg(f(T746), T746)
U61_gg(T682, T683, rN11_out_gg(T682, T683)) → pN10_out_gg(T682, T683)
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg(a, b)) → pN10_out_gg(a, b)
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg(T764, f(T765))) → U64_gg(T764, T765, pN10_in_gg(T764, T765))
U64_gg(T764, T765, pN10_out_gg(T764, T765)) → pN10_out_gg(T764, f(T765))
U87_gg(T682, T683, pN10_out_gg(T682, T683)) → qD_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, qD_out_gg(f(T228), T229)) → pC_out_gg(T228, T229)
U77_gg(T228, T229, pC_out_gg(T228, T229)) → rJ_out_gg(T228, T229)
U12_gg(T200, T201, rJ_out_gg(T200, T201)) → pI_out_gg(T200, T201)
U15_gg(T200, T201, pI_out_gg(T200, T201)) → pK_out_gg(T200, T201)
U79_g(T336, pK_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qM_out_g(f(f(T336)))
U16_g(T322, qM_out_g(T322)) → rL_out_g(f(T322))
U19_g(T375, rL_out_g(f(T375))) → pN_out_g(f(T375))
U80_g(T423, pN_out_g(f(T423))) → qR_out_g(f(f(T423)))
U24_g(T409, qR_out_g(T409)) → rQ_out_g(f(T409))
U29_g(T456, rQ_out_g(f(T456))) → pU_out_g(f(T456))
U81_g(T501, pU_out_g(f(T501))) → qY_out_g(f(f(T501)))
U34_g(T487, qY_out_g(T487)) → rX_out_g(f(T487))
U39_g(T534, rX_out_g(f(T534))) → pN2_out_g(f(T534))
U82_g(T579, pN2_out_g(f(T579))) → qN7_out_g(f(f(T579)))
U46_g(T565, qN7_out_g(T565)) → rN6_out_g(f(T565))
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g(f(T596))) → U48_g(T596, pN3_in_g(T596))
U48_g(T596, pN3_out_g(T596)) → rN6_out_g(f(f(T596)))
rN6_in_g(f(T601)) → U49_g(T601, tE_in_g(T601))
U49_g(T601, tE_out_g(T601)) → rN6_out_g(f(T601))
U52_g(T628, rN6_out_g(f(T628))) → pB_out_g(f(T628))
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g(f(f(T642)))) → U54_g(T642, pG_in_g(T642))
U54_g(T642, pG_out_g(T642)) → pB_out_g(f(f(T642)))
U1_g(T656, pB_out_g(f(T656))) → qA_out_g(f(T656))
U69_g(T36, qA_out_g(T36)) → rN13_out_g(T36)
U69_g(T36, qA_out_g(T36)) → U70_g(T36, rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g(T51)) → rN5_out_g(T51)
U44_g(T51, qF_out_g(T51)) → U45_g(T51, rN6_in_g(T51))
U45_g(T51, rN6_out_g(T51)) → rN5_out_g(T51)
U70_g(T36, rN5_out_g(T36)) → rN13_out_g(T36)
U65_g(T22, rN13_out_g(T22)) → pN12_out_g(T22)
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g(T614)) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g(T614)) → pN12_out_g(T614)
U67_g(T614, rN5_out_g(T614)) → U68_g(T614, pB_in_g(T614))
U68_g(T614, pB_out_g(T614)) → pN12_out_g(T614)
U85_gg(T11, pN12_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_gg(T11, pN12_out_g(T11)) → U86_gg(T11, qA_in_g(T11))
U86_gg(T11, qA_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
QD_IN_GG(T11, f(f(T11))) → U85_GG(T11, pN12_in_g(T11))
QD_IN_GG(T11, f(f(T11))) → PN12_IN_G(T11)
PN12_IN_G(T22) → U65_G(T22, rN13_in_g(T22))
PN12_IN_G(T22) → RN13_IN_G(T22)
RN13_IN_G(T36) → U69_G(T36, qA_in_g(T36))
RN13_IN_G(T36) → QA_IN_G(T36)
QA_IN_G(f(T656)) → U1_G(T656, pB_in_g(f(T656)))
QA_IN_G(f(T656)) → PB_IN_G(f(T656))
PB_IN_G(f(T628)) → U52_G(T628, rN6_in_g(f(T628)))
PB_IN_G(f(T628)) → RN6_IN_G(f(T628))
RN6_IN_G(f(T565)) → U46_G(T565, qN7_in_g(T565))
RN6_IN_G(f(T565)) → QN7_IN_G(T565)
QN7_IN_G(f(f(T579))) → U82_G(T579, pN2_in_g(f(T579)))
QN7_IN_G(f(f(T579))) → PN2_IN_G(f(T579))
PN2_IN_G(f(T534)) → U39_G(T534, rX_in_g(f(T534)))
PN2_IN_G(f(T534)) → RX_IN_G(f(T534))
RX_IN_G(f(T487)) → U34_G(T487, qY_in_g(T487))
RX_IN_G(f(T487)) → QY_IN_G(T487)
QY_IN_G(f(f(T501))) → U81_G(T501, pU_in_g(f(T501)))
QY_IN_G(f(f(T501))) → PU_IN_G(f(T501))
PU_IN_G(f(T456)) → U29_G(T456, rQ_in_g(f(T456)))
PU_IN_G(f(T456)) → RQ_IN_G(f(T456))
RQ_IN_G(f(T409)) → U24_G(T409, qR_in_g(T409))
RQ_IN_G(f(T409)) → QR_IN_G(T409)
QR_IN_G(f(f(T423))) → U80_G(T423, pN_in_g(f(T423)))
QR_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → U19_G(T375, rL_in_g(f(T375)))
PN_IN_G(f(T375)) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → U16_G(T322, qM_in_g(T322))
RL_IN_G(f(T322)) → QM_IN_G(T322)
QM_IN_G(f(f(T336))) → U79_G(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
QM_IN_G(f(f(T336))) → PK_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PK_IN_GG(T200, T201) → U15_GG(T200, T201, pI_in_gg(T200, T201))
PK_IN_GG(T200, T201) → PI_IN_GG(T200, T201)
PI_IN_GG(T200, T201) → U12_GG(T200, T201, rJ_in_gg(T200, T201))
PI_IN_GG(T200, T201) → RJ_IN_GG(T200, T201)
RJ_IN_GG(T228, T229) → U77_GG(T228, T229, pC_in_gg(T228, T229))
RJ_IN_GG(T228, T229) → PC_IN_GG(T228, T229)
PC_IN_GG(T228, T229) → U2_GG(T228, T229, qD_in_gg(f(T228), T229))
PC_IN_GG(T228, T229) → QD_IN_GG(f(T228), T229)
QD_IN_GG(T682, f(f(T683))) → U87_GG(T682, T683, pN10_in_gg(T682, T683))
QD_IN_GG(T682, f(f(T683))) → PN10_IN_GG(T682, T683)
PN10_IN_GG(T682, T683) → U61_GG(T682, T683, rN11_in_gg(T682, T683))
PN10_IN_GG(T682, T683) → RN11_IN_GG(T682, T683)
RN11_IN_GG(T710, T711) → U83_GG(T710, T711, pN9_in_gg(T710, T711))
RN11_IN_GG(T710, T711) → PN9_IN_GG(T710, T711)
PN9_IN_GG(T710, T711) → U55_GG(T710, T711, qD_in_gg(T710, T711))
PN9_IN_GG(T710, T711) → QD_IN_GG(T710, T711)
PN9_IN_GG(a, b) → U56_GG(qD_in_gg(a, b))
PN9_IN_GG(a, b) → QD_IN_GG(a, b)
PN9_IN_GG(T736, f(T737)) → U57_GG(T736, T737, qD_in_gg(T736, f(T737)))
PN9_IN_GG(T736, f(T737)) → QD_IN_GG(T736, f(T737))
U57_GG(T736, T737, qD_out_gg(T736, f(T737))) → U58_GG(T736, T737, pN9_in_gg(T736, T737))
U57_GG(T736, T737, qD_out_gg(T736, f(T737))) → PN9_IN_GG(T736, T737)
PN9_IN_GG(f(T742), f(T742)) → U59_GG(T742, qD_in_gg(f(T742), f(T742)))
PN9_IN_GG(f(T742), f(T742)) → QD_IN_GG(f(T742), f(T742))
U59_GG(T742, qD_out_gg(f(T742), f(T742))) → U60_GG(T742, tE_in_g(T742))
U59_GG(T742, qD_out_gg(f(T742), f(T742))) → TE_IN_G(T742)
TE_IN_G(T270) → U11_G(T270, pH_in_g(T270))
TE_IN_G(T270) → PH_IN_G(T270)
PH_IN_G(T270) → U8_G(T270, qF_in_g(f(T270)))
PH_IN_G(T270) → QF_IN_G(f(T270))
QF_IN_G(f(f(T75))) → U7_G(T75, pG_in_g(T75))
QF_IN_G(f(f(T75))) → PG_IN_G(T75)
PG_IN_G(T75) → U50_G(T75, rN8_in_g(T75))
PG_IN_G(T75) → RN8_IN_G(T75)
RN8_IN_G(T89) → U71_G(T89, pN3_in_g(T89))
RN8_IN_G(T89) → PN3_IN_G(T89)
PN3_IN_G(T89) → U42_G(T89, qN4_in_g(T89))
PN3_IN_G(T89) → QN4_IN_G(T89)
QN4_IN_G(f(f(T113))) → U72_G(T113, pZ_in_g(T113))
QN4_IN_G(f(f(T113))) → PZ_IN_G(T113)
PZ_IN_G(T113) → U37_G(T113, rN1_in_g(T113))
PZ_IN_G(T113) → RN1_IN_G(T113)
RN1_IN_G(T127) → U73_G(T127, pV_in_g(T127))
RN1_IN_G(T127) → PV_IN_G(T127)
PV_IN_G(T127) → U32_G(T127, qW_in_g(T127))
PV_IN_G(T127) → QW_IN_G(T127)
QW_IN_G(f(f(T151))) → U74_G(T151, pS_in_g(T151))
QW_IN_G(f(f(T151))) → PS_IN_G(T151)
PS_IN_G(T151) → U27_G(T151, rT_in_g(T151))
PS_IN_G(T151) → RT_IN_G(T151)
RT_IN_G(T165) → U75_G(T165, pO_in_g(T165))
RT_IN_G(T165) → PO_IN_G(T165)
PO_IN_G(T165) → U22_G(T165, qP_in_g(T165))
PO_IN_G(T165) → QP_IN_G(T165)
QP_IN_G(f(f(T179))) → U76_G(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
QP_IN_G(f(f(T179))) → PK_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
U22_G(T165, qP_out_g(T165)) → U23_G(T165, rL_in_g(T165))
U22_G(T165, qP_out_g(T165)) → RL_IN_G(T165)
RL_IN_G(f(f(T356))) → U17_G(T356, qM_in_g(f(T356)))
RL_IN_G(f(f(T356))) → QM_IN_G(f(T356))
U17_G(T356, qM_out_g(f(T356))) → U18_G(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U17_G(T356, qM_out_g(f(T356))) → PC_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PC_IN_GG(T254, f(T255)) → U3_GG(T254, T255, qD_in_gg(f(T254), f(T255)))
PC_IN_GG(T254, f(T255)) → QD_IN_GG(f(T254), f(T255))
U3_GG(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_GG(T254, T255, pC_in_gg(T254, T255))
U3_GG(T254, T255, qD_out_gg(f(T254), f(T255))) → PC_IN_GG(T254, T255)
PC_IN_GG(T260, f(T260)) → U5_GG(T260, qD_in_gg(f(T260), f(T260)))
PC_IN_GG(T260, f(T260)) → QD_IN_GG(f(T260), f(T260))
U5_GG(T260, qD_out_gg(f(T260), f(T260))) → U6_GG(T260, tE_in_g(T260))
U5_GG(T260, qD_out_gg(f(T260), f(T260))) → TE_IN_G(T260)
U27_G(T151, rT_out_g(T151)) → U28_G(T151, pN_in_g(T151))
U27_G(T151, rT_out_g(T151)) → PN_IN_G(T151)
PN_IN_G(f(f(T389))) → U20_G(T389, rL_in_g(f(f(T389))))
PN_IN_G(f(f(T389))) → RL_IN_G(f(f(T389)))
U20_G(T389, rL_out_g(f(f(T389)))) → U21_G(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U20_G(T389, rL_out_g(f(f(T389)))) → PI_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PI_IN_GG(T303, f(T304)) → U13_GG(T303, T304, rJ_in_gg(T303, f(T304)))
PI_IN_GG(T303, f(T304)) → RJ_IN_GG(T303, f(T304))
RJ_IN_GG(T285, T285) → U78_GG(T285, tE_in_g(T285))
RJ_IN_GG(T285, T285) → TE_IN_G(T285)
U13_GG(T303, T304, rJ_out_gg(T303, f(T304))) → U14_GG(T303, T304, pI_in_gg(T303, T304))
U13_GG(T303, T304, rJ_out_gg(T303, f(T304))) → PI_IN_GG(T303, T304)
U32_G(T127, qW_out_g(T127)) → U33_G(T127, rQ_in_g(T127))
U32_G(T127, qW_out_g(T127)) → RQ_IN_G(T127)
RQ_IN_G(f(f(T440))) → U25_G(T440, qR_in_g(f(T440)))
RQ_IN_G(f(f(T440))) → QR_IN_G(f(T440))
U25_G(T440, qR_out_g(f(T440))) → U26_G(T440, pO_in_g(T440))
U25_G(T440, qR_out_g(f(T440))) → PO_IN_G(T440)
U37_G(T113, rN1_out_g(T113)) → U38_G(T113, pU_in_g(T113))
U37_G(T113, rN1_out_g(T113)) → PU_IN_G(T113)
PU_IN_G(f(f(T470))) → U30_G(T470, rQ_in_g(f(f(T470))))
PU_IN_G(f(f(T470))) → RQ_IN_G(f(f(T470)))
U30_G(T470, rQ_out_g(f(f(T470)))) → U31_G(T470, pS_in_g(T470))
U30_G(T470, rQ_out_g(f(f(T470)))) → PS_IN_G(T470)
U42_G(T89, qN4_out_g(T89)) → U43_G(T89, rX_in_g(T89))
U42_G(T89, qN4_out_g(T89)) → RX_IN_G(T89)
RX_IN_G(f(f(T518))) → U35_G(T518, qY_in_g(f(T518)))
RX_IN_G(f(f(T518))) → QY_IN_G(f(T518))
U35_G(T518, qY_out_g(f(T518))) → U36_G(T518, pV_in_g(T518))
U35_G(T518, qY_out_g(f(T518))) → PV_IN_G(T518)
U50_G(T75, rN8_out_g(T75)) → U51_G(T75, pN2_in_g(T75))
U50_G(T75, rN8_out_g(T75)) → PN2_IN_G(T75)
PN2_IN_G(f(f(T548))) → U40_G(T548, rX_in_g(f(f(T548))))
PN2_IN_G(f(f(T548))) → RX_IN_G(f(f(T548)))
U40_G(T548, rX_out_g(f(f(T548)))) → U41_G(T548, pZ_in_g(T548))
U40_G(T548, rX_out_g(f(f(T548)))) → PZ_IN_G(T548)
PH_IN_G(f(T281)) → U9_G(T281, qF_in_g(f(f(T281))))
PH_IN_G(f(T281)) → QF_IN_G(f(f(T281)))
U9_G(T281, qF_out_g(f(f(T281)))) → U10_G(T281, pH_in_g(T281))
U9_G(T281, qF_out_g(f(f(T281)))) → PH_IN_G(T281)
RN11_IN_GG(f(T746), T746) → U84_GG(T746, tE_in_g(T746))
RN11_IN_GG(f(T746), T746) → TE_IN_G(T746)
PN10_IN_GG(a, b) → U62_GG(rN11_in_gg(a, b))
PN10_IN_GG(a, b) → RN11_IN_GG(a, b)
PN10_IN_GG(T764, f(T765)) → U63_GG(T764, T765, rN11_in_gg(T764, f(T765)))
PN10_IN_GG(T764, f(T765)) → RN11_IN_GG(T764, f(T765))
U63_GG(T764, T765, rN11_out_gg(T764, f(T765))) → U64_GG(T764, T765, pN10_in_gg(T764, T765))
U63_GG(T764, T765, rN11_out_gg(T764, f(T765))) → PN10_IN_GG(T764, T765)
RN6_IN_G(f(f(T596))) → U47_G(T596, qN7_in_g(f(T596)))
RN6_IN_G(f(f(T596))) → QN7_IN_G(f(T596))
U47_G(T596, qN7_out_g(f(T596))) → U48_G(T596, pN3_in_g(T596))
U47_G(T596, qN7_out_g(f(T596))) → PN3_IN_G(T596)
RN6_IN_G(f(T601)) → U49_G(T601, tE_in_g(T601))
RN6_IN_G(f(T601)) → TE_IN_G(T601)
PB_IN_G(f(f(T642))) → U53_G(T642, rN6_in_g(f(f(T642))))
PB_IN_G(f(f(T642))) → RN6_IN_G(f(f(T642)))
U53_G(T642, rN6_out_g(f(f(T642)))) → U54_G(T642, pG_in_g(T642))
U53_G(T642, rN6_out_g(f(f(T642)))) → PG_IN_G(T642)
U69_G(T36, qA_out_g(T36)) → U70_G(T36, rN5_in_g(T36))
U69_G(T36, qA_out_g(T36)) → RN5_IN_G(T36)
RN5_IN_G(T51) → U44_G(T51, qF_in_g(T51))
RN5_IN_G(T51) → QF_IN_G(T51)
U44_G(T51, qF_out_g(T51)) → U45_G(T51, rN6_in_g(T51))
U44_G(T51, qF_out_g(T51)) → RN6_IN_G(T51)
PN12_IN_G(T614) → U66_G(T614, rN13_in_g(T614))
U66_G(T614, rN13_out_g(T614)) → U67_G(T614, rN5_in_g(T614))
U66_G(T614, rN13_out_g(T614)) → RN5_IN_G(T614)
U67_G(T614, rN5_out_g(T614)) → U68_G(T614, pB_in_g(T614))
U67_G(T614, rN5_out_g(T614)) → PB_IN_G(T614)
U85_GG(T11, pN12_out_g(T11)) → U86_GG(T11, qA_in_g(T11))
U85_GG(T11, pN12_out_g(T11)) → QA_IN_G(T11)
qD_in_gg(a, b) → qD_out_gg(a, b)
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(T22, rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(T656, pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(T628, rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(T565, qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(T579, pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(T534, rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(T487, qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(T501, pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(T456, rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(T409, qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(T322, qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(T200, T201, pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(T200, T201, rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(T228, T229, pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(T228, T229, qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(T682, T683, rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(T710, T711, pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(T710, T711, qD_in_gg(T710, T711))
U55_gg(T710, T711, qD_out_gg(T710, T711)) → pN9_out_gg(T710, T711)
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg(a, b)) → pN9_out_gg(a, b)
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg(T736, f(T737))) → U58_gg(T736, T737, pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg(f(T742), f(T742))) → U60_gg(T742, tE_in_g(T742))
tE_in_g(T270) → U11_g(T270, pH_in_g(T270))
pH_in_g(T270) → U8_g(T270, qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(T75, pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(T89, pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(T113, pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(T127, pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(T151, pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(T165, pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, pK_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qP_out_g(f(f(T179)))
U22_g(T165, qP_out_g(T165)) → pO_out_g(T165)
U22_g(T165, qP_out_g(T165)) → U23_g(T165, rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g(f(T356))) → U18_g(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg(f(T260), f(T260))) → U6_gg(T260, tE_in_g(T260))
U6_gg(T260, tE_out_g(T260)) → pC_out_gg(T260, f(T260))
U4_gg(T254, T255, pC_out_gg(T254, T255)) → pC_out_gg(T254, f(T255))
U18_g(T356, pC_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rL_out_g(f(f(T356)))
U23_g(T165, rL_out_g(T165)) → pO_out_g(T165)
U75_g(T165, pO_out_g(T165)) → rT_out_g(T165)
U27_g(T151, rT_out_g(T151)) → pS_out_g(T151)
U27_g(T151, rT_out_g(T151)) → U28_g(T151, pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g(f(f(T389)))) → U21_g(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(T285, tE_in_g(T285))
U78_gg(T285, tE_out_g(T285)) → rJ_out_gg(T285, T285)
U13_gg(T303, T304, rJ_out_gg(T303, f(T304))) → U14_gg(T303, T304, pI_in_gg(T303, T304))
U14_gg(T303, T304, pI_out_gg(T303, T304)) → pI_out_gg(T303, f(T304))
U21_g(T389, pI_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN_out_g(f(f(T389)))
U28_g(T151, pN_out_g(T151)) → pS_out_g(T151)
U74_g(T151, pS_out_g(T151)) → qW_out_g(f(f(T151)))
U32_g(T127, qW_out_g(T127)) → pV_out_g(T127)
U32_g(T127, qW_out_g(T127)) → U33_g(T127, rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g(f(T440))) → U26_g(T440, pO_in_g(T440))
U26_g(T440, pO_out_g(T440)) → rQ_out_g(f(f(T440)))
U33_g(T127, rQ_out_g(T127)) → pV_out_g(T127)
U73_g(T127, pV_out_g(T127)) → rN1_out_g(T127)
U37_g(T113, rN1_out_g(T113)) → pZ_out_g(T113)
U37_g(T113, rN1_out_g(T113)) → U38_g(T113, pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g(f(f(T470)))) → U31_g(T470, pS_in_g(T470))
U31_g(T470, pS_out_g(T470)) → pU_out_g(f(f(T470)))
U38_g(T113, pU_out_g(T113)) → pZ_out_g(T113)
U72_g(T113, pZ_out_g(T113)) → qN4_out_g(f(f(T113)))
U42_g(T89, qN4_out_g(T89)) → pN3_out_g(T89)
U42_g(T89, qN4_out_g(T89)) → U43_g(T89, rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g(f(T518))) → U36_g(T518, pV_in_g(T518))
U36_g(T518, pV_out_g(T518)) → rX_out_g(f(f(T518)))
U43_g(T89, rX_out_g(T89)) → pN3_out_g(T89)
U71_g(T89, pN3_out_g(T89)) → rN8_out_g(T89)
U50_g(T75, rN8_out_g(T75)) → pG_out_g(T75)
U50_g(T75, rN8_out_g(T75)) → U51_g(T75, pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g(f(f(T548)))) → U41_g(T548, pZ_in_g(T548))
U41_g(T548, pZ_out_g(T548)) → pN2_out_g(f(f(T548)))
U51_g(T75, pN2_out_g(T75)) → pG_out_g(T75)
U7_g(T75, pG_out_g(T75)) → qF_out_g(f(f(T75)))
U8_g(T270, qF_out_g(f(T270))) → pH_out_g(T270)
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g(f(f(T281)))) → U10_g(T281, pH_in_g(T281))
U10_g(T281, pH_out_g(T281)) → pH_out_g(f(T281))
U11_g(T270, pH_out_g(T270)) → tE_out_g(T270)
U60_gg(T742, tE_out_g(T742)) → pN9_out_gg(f(T742), f(T742))
U58_gg(T736, T737, pN9_out_gg(T736, T737)) → pN9_out_gg(T736, f(T737))
U83_gg(T710, T711, pN9_out_gg(T710, T711)) → rN11_out_gg(T710, T711)
rN11_in_gg(f(T746), T746) → U84_gg(T746, tE_in_g(T746))
U84_gg(T746, tE_out_g(T746)) → rN11_out_gg(f(T746), T746)
U61_gg(T682, T683, rN11_out_gg(T682, T683)) → pN10_out_gg(T682, T683)
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg(a, b)) → pN10_out_gg(a, b)
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg(T764, f(T765))) → U64_gg(T764, T765, pN10_in_gg(T764, T765))
U64_gg(T764, T765, pN10_out_gg(T764, T765)) → pN10_out_gg(T764, f(T765))
U87_gg(T682, T683, pN10_out_gg(T682, T683)) → qD_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, qD_out_gg(f(T228), T229)) → pC_out_gg(T228, T229)
U77_gg(T228, T229, pC_out_gg(T228, T229)) → rJ_out_gg(T228, T229)
U12_gg(T200, T201, rJ_out_gg(T200, T201)) → pI_out_gg(T200, T201)
U15_gg(T200, T201, pI_out_gg(T200, T201)) → pK_out_gg(T200, T201)
U79_g(T336, pK_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qM_out_g(f(f(T336)))
U16_g(T322, qM_out_g(T322)) → rL_out_g(f(T322))
U19_g(T375, rL_out_g(f(T375))) → pN_out_g(f(T375))
U80_g(T423, pN_out_g(f(T423))) → qR_out_g(f(f(T423)))
U24_g(T409, qR_out_g(T409)) → rQ_out_g(f(T409))
U29_g(T456, rQ_out_g(f(T456))) → pU_out_g(f(T456))
U81_g(T501, pU_out_g(f(T501))) → qY_out_g(f(f(T501)))
U34_g(T487, qY_out_g(T487)) → rX_out_g(f(T487))
U39_g(T534, rX_out_g(f(T534))) → pN2_out_g(f(T534))
U82_g(T579, pN2_out_g(f(T579))) → qN7_out_g(f(f(T579)))
U46_g(T565, qN7_out_g(T565)) → rN6_out_g(f(T565))
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g(f(T596))) → U48_g(T596, pN3_in_g(T596))
U48_g(T596, pN3_out_g(T596)) → rN6_out_g(f(f(T596)))
rN6_in_g(f(T601)) → U49_g(T601, tE_in_g(T601))
U49_g(T601, tE_out_g(T601)) → rN6_out_g(f(T601))
U52_g(T628, rN6_out_g(f(T628))) → pB_out_g(f(T628))
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g(f(f(T642)))) → U54_g(T642, pG_in_g(T642))
U54_g(T642, pG_out_g(T642)) → pB_out_g(f(f(T642)))
U1_g(T656, pB_out_g(f(T656))) → qA_out_g(f(T656))
U69_g(T36, qA_out_g(T36)) → rN13_out_g(T36)
U69_g(T36, qA_out_g(T36)) → U70_g(T36, rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g(T51)) → rN5_out_g(T51)
U44_g(T51, qF_out_g(T51)) → U45_g(T51, rN6_in_g(T51))
U45_g(T51, rN6_out_g(T51)) → rN5_out_g(T51)
U70_g(T36, rN5_out_g(T36)) → rN13_out_g(T36)
U65_g(T22, rN13_out_g(T22)) → pN12_out_g(T22)
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g(T614)) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g(T614)) → pN12_out_g(T614)
U67_g(T614, rN5_out_g(T614)) → U68_g(T614, pB_in_g(T614))
U68_g(T614, pB_out_g(T614)) → pN12_out_g(T614)
U85_gg(T11, pN12_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_gg(T11, pN12_out_g(T11)) → U86_gg(T11, qA_in_g(T11))
U86_gg(T11, qA_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
QD_IN_GG(T11, f(f(T11))) → U85_GG(T11, pN12_in_g(T11))
QD_IN_GG(T11, f(f(T11))) → PN12_IN_G(T11)
PN12_IN_G(T22) → U65_G(T22, rN13_in_g(T22))
PN12_IN_G(T22) → RN13_IN_G(T22)
RN13_IN_G(T36) → U69_G(T36, qA_in_g(T36))
RN13_IN_G(T36) → QA_IN_G(T36)
QA_IN_G(f(T656)) → U1_G(T656, pB_in_g(f(T656)))
QA_IN_G(f(T656)) → PB_IN_G(f(T656))
PB_IN_G(f(T628)) → U52_G(T628, rN6_in_g(f(T628)))
PB_IN_G(f(T628)) → RN6_IN_G(f(T628))
RN6_IN_G(f(T565)) → U46_G(T565, qN7_in_g(T565))
RN6_IN_G(f(T565)) → QN7_IN_G(T565)
QN7_IN_G(f(f(T579))) → U82_G(T579, pN2_in_g(f(T579)))
QN7_IN_G(f(f(T579))) → PN2_IN_G(f(T579))
PN2_IN_G(f(T534)) → U39_G(T534, rX_in_g(f(T534)))
PN2_IN_G(f(T534)) → RX_IN_G(f(T534))
RX_IN_G(f(T487)) → U34_G(T487, qY_in_g(T487))
RX_IN_G(f(T487)) → QY_IN_G(T487)
QY_IN_G(f(f(T501))) → U81_G(T501, pU_in_g(f(T501)))
QY_IN_G(f(f(T501))) → PU_IN_G(f(T501))
PU_IN_G(f(T456)) → U29_G(T456, rQ_in_g(f(T456)))
PU_IN_G(f(T456)) → RQ_IN_G(f(T456))
RQ_IN_G(f(T409)) → U24_G(T409, qR_in_g(T409))
RQ_IN_G(f(T409)) → QR_IN_G(T409)
QR_IN_G(f(f(T423))) → U80_G(T423, pN_in_g(f(T423)))
QR_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → U19_G(T375, rL_in_g(f(T375)))
PN_IN_G(f(T375)) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → U16_G(T322, qM_in_g(T322))
RL_IN_G(f(T322)) → QM_IN_G(T322)
QM_IN_G(f(f(T336))) → U79_G(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
QM_IN_G(f(f(T336))) → PK_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PK_IN_GG(T200, T201) → U15_GG(T200, T201, pI_in_gg(T200, T201))
PK_IN_GG(T200, T201) → PI_IN_GG(T200, T201)
PI_IN_GG(T200, T201) → U12_GG(T200, T201, rJ_in_gg(T200, T201))
PI_IN_GG(T200, T201) → RJ_IN_GG(T200, T201)
RJ_IN_GG(T228, T229) → U77_GG(T228, T229, pC_in_gg(T228, T229))
RJ_IN_GG(T228, T229) → PC_IN_GG(T228, T229)
PC_IN_GG(T228, T229) → U2_GG(T228, T229, qD_in_gg(f(T228), T229))
PC_IN_GG(T228, T229) → QD_IN_GG(f(T228), T229)
QD_IN_GG(T682, f(f(T683))) → U87_GG(T682, T683, pN10_in_gg(T682, T683))
QD_IN_GG(T682, f(f(T683))) → PN10_IN_GG(T682, T683)
PN10_IN_GG(T682, T683) → U61_GG(T682, T683, rN11_in_gg(T682, T683))
PN10_IN_GG(T682, T683) → RN11_IN_GG(T682, T683)
RN11_IN_GG(T710, T711) → U83_GG(T710, T711, pN9_in_gg(T710, T711))
RN11_IN_GG(T710, T711) → PN9_IN_GG(T710, T711)
PN9_IN_GG(T710, T711) → U55_GG(T710, T711, qD_in_gg(T710, T711))
PN9_IN_GG(T710, T711) → QD_IN_GG(T710, T711)
PN9_IN_GG(a, b) → U56_GG(qD_in_gg(a, b))
PN9_IN_GG(a, b) → QD_IN_GG(a, b)
PN9_IN_GG(T736, f(T737)) → U57_GG(T736, T737, qD_in_gg(T736, f(T737)))
PN9_IN_GG(T736, f(T737)) → QD_IN_GG(T736, f(T737))
U57_GG(T736, T737, qD_out_gg(T736, f(T737))) → U58_GG(T736, T737, pN9_in_gg(T736, T737))
U57_GG(T736, T737, qD_out_gg(T736, f(T737))) → PN9_IN_GG(T736, T737)
PN9_IN_GG(f(T742), f(T742)) → U59_GG(T742, qD_in_gg(f(T742), f(T742)))
PN9_IN_GG(f(T742), f(T742)) → QD_IN_GG(f(T742), f(T742))
U59_GG(T742, qD_out_gg(f(T742), f(T742))) → U60_GG(T742, tE_in_g(T742))
U59_GG(T742, qD_out_gg(f(T742), f(T742))) → TE_IN_G(T742)
TE_IN_G(T270) → U11_G(T270, pH_in_g(T270))
TE_IN_G(T270) → PH_IN_G(T270)
PH_IN_G(T270) → U8_G(T270, qF_in_g(f(T270)))
PH_IN_G(T270) → QF_IN_G(f(T270))
QF_IN_G(f(f(T75))) → U7_G(T75, pG_in_g(T75))
QF_IN_G(f(f(T75))) → PG_IN_G(T75)
PG_IN_G(T75) → U50_G(T75, rN8_in_g(T75))
PG_IN_G(T75) → RN8_IN_G(T75)
RN8_IN_G(T89) → U71_G(T89, pN3_in_g(T89))
RN8_IN_G(T89) → PN3_IN_G(T89)
PN3_IN_G(T89) → U42_G(T89, qN4_in_g(T89))
PN3_IN_G(T89) → QN4_IN_G(T89)
QN4_IN_G(f(f(T113))) → U72_G(T113, pZ_in_g(T113))
QN4_IN_G(f(f(T113))) → PZ_IN_G(T113)
PZ_IN_G(T113) → U37_G(T113, rN1_in_g(T113))
PZ_IN_G(T113) → RN1_IN_G(T113)
RN1_IN_G(T127) → U73_G(T127, pV_in_g(T127))
RN1_IN_G(T127) → PV_IN_G(T127)
PV_IN_G(T127) → U32_G(T127, qW_in_g(T127))
PV_IN_G(T127) → QW_IN_G(T127)
QW_IN_G(f(f(T151))) → U74_G(T151, pS_in_g(T151))
QW_IN_G(f(f(T151))) → PS_IN_G(T151)
PS_IN_G(T151) → U27_G(T151, rT_in_g(T151))
PS_IN_G(T151) → RT_IN_G(T151)
RT_IN_G(T165) → U75_G(T165, pO_in_g(T165))
RT_IN_G(T165) → PO_IN_G(T165)
PO_IN_G(T165) → U22_G(T165, qP_in_g(T165))
PO_IN_G(T165) → QP_IN_G(T165)
QP_IN_G(f(f(T179))) → U76_G(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
QP_IN_G(f(f(T179))) → PK_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
U22_G(T165, qP_out_g(T165)) → U23_G(T165, rL_in_g(T165))
U22_G(T165, qP_out_g(T165)) → RL_IN_G(T165)
RL_IN_G(f(f(T356))) → U17_G(T356, qM_in_g(f(T356)))
RL_IN_G(f(f(T356))) → QM_IN_G(f(T356))
U17_G(T356, qM_out_g(f(T356))) → U18_G(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U17_G(T356, qM_out_g(f(T356))) → PC_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PC_IN_GG(T254, f(T255)) → U3_GG(T254, T255, qD_in_gg(f(T254), f(T255)))
PC_IN_GG(T254, f(T255)) → QD_IN_GG(f(T254), f(T255))
U3_GG(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_GG(T254, T255, pC_in_gg(T254, T255))
U3_GG(T254, T255, qD_out_gg(f(T254), f(T255))) → PC_IN_GG(T254, T255)
PC_IN_GG(T260, f(T260)) → U5_GG(T260, qD_in_gg(f(T260), f(T260)))
PC_IN_GG(T260, f(T260)) → QD_IN_GG(f(T260), f(T260))
U5_GG(T260, qD_out_gg(f(T260), f(T260))) → U6_GG(T260, tE_in_g(T260))
U5_GG(T260, qD_out_gg(f(T260), f(T260))) → TE_IN_G(T260)
U27_G(T151, rT_out_g(T151)) → U28_G(T151, pN_in_g(T151))
U27_G(T151, rT_out_g(T151)) → PN_IN_G(T151)
PN_IN_G(f(f(T389))) → U20_G(T389, rL_in_g(f(f(T389))))
PN_IN_G(f(f(T389))) → RL_IN_G(f(f(T389)))
U20_G(T389, rL_out_g(f(f(T389)))) → U21_G(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U20_G(T389, rL_out_g(f(f(T389)))) → PI_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PI_IN_GG(T303, f(T304)) → U13_GG(T303, T304, rJ_in_gg(T303, f(T304)))
PI_IN_GG(T303, f(T304)) → RJ_IN_GG(T303, f(T304))
RJ_IN_GG(T285, T285) → U78_GG(T285, tE_in_g(T285))
RJ_IN_GG(T285, T285) → TE_IN_G(T285)
U13_GG(T303, T304, rJ_out_gg(T303, f(T304))) → U14_GG(T303, T304, pI_in_gg(T303, T304))
U13_GG(T303, T304, rJ_out_gg(T303, f(T304))) → PI_IN_GG(T303, T304)
U32_G(T127, qW_out_g(T127)) → U33_G(T127, rQ_in_g(T127))
U32_G(T127, qW_out_g(T127)) → RQ_IN_G(T127)
RQ_IN_G(f(f(T440))) → U25_G(T440, qR_in_g(f(T440)))
RQ_IN_G(f(f(T440))) → QR_IN_G(f(T440))
U25_G(T440, qR_out_g(f(T440))) → U26_G(T440, pO_in_g(T440))
U25_G(T440, qR_out_g(f(T440))) → PO_IN_G(T440)
U37_G(T113, rN1_out_g(T113)) → U38_G(T113, pU_in_g(T113))
U37_G(T113, rN1_out_g(T113)) → PU_IN_G(T113)
PU_IN_G(f(f(T470))) → U30_G(T470, rQ_in_g(f(f(T470))))
PU_IN_G(f(f(T470))) → RQ_IN_G(f(f(T470)))
U30_G(T470, rQ_out_g(f(f(T470)))) → U31_G(T470, pS_in_g(T470))
U30_G(T470, rQ_out_g(f(f(T470)))) → PS_IN_G(T470)
U42_G(T89, qN4_out_g(T89)) → U43_G(T89, rX_in_g(T89))
U42_G(T89, qN4_out_g(T89)) → RX_IN_G(T89)
RX_IN_G(f(f(T518))) → U35_G(T518, qY_in_g(f(T518)))
RX_IN_G(f(f(T518))) → QY_IN_G(f(T518))
U35_G(T518, qY_out_g(f(T518))) → U36_G(T518, pV_in_g(T518))
U35_G(T518, qY_out_g(f(T518))) → PV_IN_G(T518)
U50_G(T75, rN8_out_g(T75)) → U51_G(T75, pN2_in_g(T75))
U50_G(T75, rN8_out_g(T75)) → PN2_IN_G(T75)
PN2_IN_G(f(f(T548))) → U40_G(T548, rX_in_g(f(f(T548))))
PN2_IN_G(f(f(T548))) → RX_IN_G(f(f(T548)))
U40_G(T548, rX_out_g(f(f(T548)))) → U41_G(T548, pZ_in_g(T548))
U40_G(T548, rX_out_g(f(f(T548)))) → PZ_IN_G(T548)
PH_IN_G(f(T281)) → U9_G(T281, qF_in_g(f(f(T281))))
PH_IN_G(f(T281)) → QF_IN_G(f(f(T281)))
U9_G(T281, qF_out_g(f(f(T281)))) → U10_G(T281, pH_in_g(T281))
U9_G(T281, qF_out_g(f(f(T281)))) → PH_IN_G(T281)
RN11_IN_GG(f(T746), T746) → U84_GG(T746, tE_in_g(T746))
RN11_IN_GG(f(T746), T746) → TE_IN_G(T746)
PN10_IN_GG(a, b) → U62_GG(rN11_in_gg(a, b))
PN10_IN_GG(a, b) → RN11_IN_GG(a, b)
PN10_IN_GG(T764, f(T765)) → U63_GG(T764, T765, rN11_in_gg(T764, f(T765)))
PN10_IN_GG(T764, f(T765)) → RN11_IN_GG(T764, f(T765))
U63_GG(T764, T765, rN11_out_gg(T764, f(T765))) → U64_GG(T764, T765, pN10_in_gg(T764, T765))
U63_GG(T764, T765, rN11_out_gg(T764, f(T765))) → PN10_IN_GG(T764, T765)
RN6_IN_G(f(f(T596))) → U47_G(T596, qN7_in_g(f(T596)))
RN6_IN_G(f(f(T596))) → QN7_IN_G(f(T596))
U47_G(T596, qN7_out_g(f(T596))) → U48_G(T596, pN3_in_g(T596))
U47_G(T596, qN7_out_g(f(T596))) → PN3_IN_G(T596)
RN6_IN_G(f(T601)) → U49_G(T601, tE_in_g(T601))
RN6_IN_G(f(T601)) → TE_IN_G(T601)
PB_IN_G(f(f(T642))) → U53_G(T642, rN6_in_g(f(f(T642))))
PB_IN_G(f(f(T642))) → RN6_IN_G(f(f(T642)))
U53_G(T642, rN6_out_g(f(f(T642)))) → U54_G(T642, pG_in_g(T642))
U53_G(T642, rN6_out_g(f(f(T642)))) → PG_IN_G(T642)
U69_G(T36, qA_out_g(T36)) → U70_G(T36, rN5_in_g(T36))
U69_G(T36, qA_out_g(T36)) → RN5_IN_G(T36)
RN5_IN_G(T51) → U44_G(T51, qF_in_g(T51))
RN5_IN_G(T51) → QF_IN_G(T51)
U44_G(T51, qF_out_g(T51)) → U45_G(T51, rN6_in_g(T51))
U44_G(T51, qF_out_g(T51)) → RN6_IN_G(T51)
PN12_IN_G(T614) → U66_G(T614, rN13_in_g(T614))
U66_G(T614, rN13_out_g(T614)) → U67_G(T614, rN5_in_g(T614))
U66_G(T614, rN13_out_g(T614)) → RN5_IN_G(T614)
U67_G(T614, rN5_out_g(T614)) → U68_G(T614, pB_in_g(T614))
U67_G(T614, rN5_out_g(T614)) → PB_IN_G(T614)
U85_GG(T11, pN12_out_g(T11)) → U86_GG(T11, qA_in_g(T11))
U85_GG(T11, pN12_out_g(T11)) → QA_IN_G(T11)
qD_in_gg(a, b) → qD_out_gg(a, b)
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(T22, rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(T656, pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(T628, rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(T565, qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(T579, pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(T534, rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(T487, qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(T501, pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(T456, rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(T409, qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(T322, qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(T200, T201, pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(T200, T201, rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(T228, T229, pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(T228, T229, qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(T682, T683, rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(T710, T711, pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(T710, T711, qD_in_gg(T710, T711))
U55_gg(T710, T711, qD_out_gg(T710, T711)) → pN9_out_gg(T710, T711)
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg(a, b)) → pN9_out_gg(a, b)
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg(T736, f(T737))) → U58_gg(T736, T737, pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg(f(T742), f(T742))) → U60_gg(T742, tE_in_g(T742))
tE_in_g(T270) → U11_g(T270, pH_in_g(T270))
pH_in_g(T270) → U8_g(T270, qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(T75, pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(T89, pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(T113, pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(T127, pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(T151, pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(T165, pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, pK_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qP_out_g(f(f(T179)))
U22_g(T165, qP_out_g(T165)) → pO_out_g(T165)
U22_g(T165, qP_out_g(T165)) → U23_g(T165, rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g(f(T356))) → U18_g(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg(f(T260), f(T260))) → U6_gg(T260, tE_in_g(T260))
U6_gg(T260, tE_out_g(T260)) → pC_out_gg(T260, f(T260))
U4_gg(T254, T255, pC_out_gg(T254, T255)) → pC_out_gg(T254, f(T255))
U18_g(T356, pC_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rL_out_g(f(f(T356)))
U23_g(T165, rL_out_g(T165)) → pO_out_g(T165)
U75_g(T165, pO_out_g(T165)) → rT_out_g(T165)
U27_g(T151, rT_out_g(T151)) → pS_out_g(T151)
U27_g(T151, rT_out_g(T151)) → U28_g(T151, pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g(f(f(T389)))) → U21_g(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(T285, tE_in_g(T285))
U78_gg(T285, tE_out_g(T285)) → rJ_out_gg(T285, T285)
U13_gg(T303, T304, rJ_out_gg(T303, f(T304))) → U14_gg(T303, T304, pI_in_gg(T303, T304))
U14_gg(T303, T304, pI_out_gg(T303, T304)) → pI_out_gg(T303, f(T304))
U21_g(T389, pI_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN_out_g(f(f(T389)))
U28_g(T151, pN_out_g(T151)) → pS_out_g(T151)
U74_g(T151, pS_out_g(T151)) → qW_out_g(f(f(T151)))
U32_g(T127, qW_out_g(T127)) → pV_out_g(T127)
U32_g(T127, qW_out_g(T127)) → U33_g(T127, rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g(f(T440))) → U26_g(T440, pO_in_g(T440))
U26_g(T440, pO_out_g(T440)) → rQ_out_g(f(f(T440)))
U33_g(T127, rQ_out_g(T127)) → pV_out_g(T127)
U73_g(T127, pV_out_g(T127)) → rN1_out_g(T127)
U37_g(T113, rN1_out_g(T113)) → pZ_out_g(T113)
U37_g(T113, rN1_out_g(T113)) → U38_g(T113, pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g(f(f(T470)))) → U31_g(T470, pS_in_g(T470))
U31_g(T470, pS_out_g(T470)) → pU_out_g(f(f(T470)))
U38_g(T113, pU_out_g(T113)) → pZ_out_g(T113)
U72_g(T113, pZ_out_g(T113)) → qN4_out_g(f(f(T113)))
U42_g(T89, qN4_out_g(T89)) → pN3_out_g(T89)
U42_g(T89, qN4_out_g(T89)) → U43_g(T89, rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g(f(T518))) → U36_g(T518, pV_in_g(T518))
U36_g(T518, pV_out_g(T518)) → rX_out_g(f(f(T518)))
U43_g(T89, rX_out_g(T89)) → pN3_out_g(T89)
U71_g(T89, pN3_out_g(T89)) → rN8_out_g(T89)
U50_g(T75, rN8_out_g(T75)) → pG_out_g(T75)
U50_g(T75, rN8_out_g(T75)) → U51_g(T75, pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g(f(f(T548)))) → U41_g(T548, pZ_in_g(T548))
U41_g(T548, pZ_out_g(T548)) → pN2_out_g(f(f(T548)))
U51_g(T75, pN2_out_g(T75)) → pG_out_g(T75)
U7_g(T75, pG_out_g(T75)) → qF_out_g(f(f(T75)))
U8_g(T270, qF_out_g(f(T270))) → pH_out_g(T270)
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g(f(f(T281)))) → U10_g(T281, pH_in_g(T281))
U10_g(T281, pH_out_g(T281)) → pH_out_g(f(T281))
U11_g(T270, pH_out_g(T270)) → tE_out_g(T270)
U60_gg(T742, tE_out_g(T742)) → pN9_out_gg(f(T742), f(T742))
U58_gg(T736, T737, pN9_out_gg(T736, T737)) → pN9_out_gg(T736, f(T737))
U83_gg(T710, T711, pN9_out_gg(T710, T711)) → rN11_out_gg(T710, T711)
rN11_in_gg(f(T746), T746) → U84_gg(T746, tE_in_g(T746))
U84_gg(T746, tE_out_g(T746)) → rN11_out_gg(f(T746), T746)
U61_gg(T682, T683, rN11_out_gg(T682, T683)) → pN10_out_gg(T682, T683)
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg(a, b)) → pN10_out_gg(a, b)
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg(T764, f(T765))) → U64_gg(T764, T765, pN10_in_gg(T764, T765))
U64_gg(T764, T765, pN10_out_gg(T764, T765)) → pN10_out_gg(T764, f(T765))
U87_gg(T682, T683, pN10_out_gg(T682, T683)) → qD_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, qD_out_gg(f(T228), T229)) → pC_out_gg(T228, T229)
U77_gg(T228, T229, pC_out_gg(T228, T229)) → rJ_out_gg(T228, T229)
U12_gg(T200, T201, rJ_out_gg(T200, T201)) → pI_out_gg(T200, T201)
U15_gg(T200, T201, pI_out_gg(T200, T201)) → pK_out_gg(T200, T201)
U79_g(T336, pK_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qM_out_g(f(f(T336)))
U16_g(T322, qM_out_g(T322)) → rL_out_g(f(T322))
U19_g(T375, rL_out_g(f(T375))) → pN_out_g(f(T375))
U80_g(T423, pN_out_g(f(T423))) → qR_out_g(f(f(T423)))
U24_g(T409, qR_out_g(T409)) → rQ_out_g(f(T409))
U29_g(T456, rQ_out_g(f(T456))) → pU_out_g(f(T456))
U81_g(T501, pU_out_g(f(T501))) → qY_out_g(f(f(T501)))
U34_g(T487, qY_out_g(T487)) → rX_out_g(f(T487))
U39_g(T534, rX_out_g(f(T534))) → pN2_out_g(f(T534))
U82_g(T579, pN2_out_g(f(T579))) → qN7_out_g(f(f(T579)))
U46_g(T565, qN7_out_g(T565)) → rN6_out_g(f(T565))
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g(f(T596))) → U48_g(T596, pN3_in_g(T596))
U48_g(T596, pN3_out_g(T596)) → rN6_out_g(f(f(T596)))
rN6_in_g(f(T601)) → U49_g(T601, tE_in_g(T601))
U49_g(T601, tE_out_g(T601)) → rN6_out_g(f(T601))
U52_g(T628, rN6_out_g(f(T628))) → pB_out_g(f(T628))
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g(f(f(T642)))) → U54_g(T642, pG_in_g(T642))
U54_g(T642, pG_out_g(T642)) → pB_out_g(f(f(T642)))
U1_g(T656, pB_out_g(f(T656))) → qA_out_g(f(T656))
U69_g(T36, qA_out_g(T36)) → rN13_out_g(T36)
U69_g(T36, qA_out_g(T36)) → U70_g(T36, rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g(T51)) → rN5_out_g(T51)
U44_g(T51, qF_out_g(T51)) → U45_g(T51, rN6_in_g(T51))
U45_g(T51, rN6_out_g(T51)) → rN5_out_g(T51)
U70_g(T36, rN5_out_g(T36)) → rN13_out_g(T36)
U65_g(T22, rN13_out_g(T22)) → pN12_out_g(T22)
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g(T614)) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g(T614)) → pN12_out_g(T614)
U67_g(T614, rN5_out_g(T614)) → U68_g(T614, pB_in_g(T614))
U68_g(T614, pB_out_g(T614)) → pN12_out_g(T614)
U85_gg(T11, pN12_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_gg(T11, pN12_out_g(T11)) → U86_gg(T11, qA_in_g(T11))
U86_gg(T11, qA_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_GG(T11, pN12_out_g(T11)) → QA_IN_G(T11)
QA_IN_G(f(T656)) → PB_IN_G(f(T656))
PB_IN_G(f(T628)) → RN6_IN_G(f(T628))
RN6_IN_G(f(T565)) → QN7_IN_G(T565)
QN7_IN_G(f(f(T579))) → PN2_IN_G(f(T579))
PN2_IN_G(f(T534)) → RX_IN_G(f(T534))
RX_IN_G(f(T487)) → QY_IN_G(T487)
QY_IN_G(f(f(T501))) → PU_IN_G(f(T501))
PU_IN_G(f(T456)) → RQ_IN_G(f(T456))
RQ_IN_G(f(T409)) → QR_IN_G(T409)
QR_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → QM_IN_G(T322)
QM_IN_G(f(f(T336))) → PK_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PK_IN_GG(T200, T201) → PI_IN_GG(T200, T201)
PI_IN_GG(T200, T201) → RJ_IN_GG(T200, T201)
RJ_IN_GG(T228, T229) → PC_IN_GG(T228, T229)
PC_IN_GG(T228, T229) → QD_IN_GG(f(T228), T229)
QD_IN_GG(T11, f(f(T11))) → U85_GG(T11, pN12_in_g(T11))
QD_IN_GG(T11, f(f(T11))) → PN12_IN_G(T11)
PN12_IN_G(T22) → RN13_IN_G(T22)
RN13_IN_G(T36) → U69_G(T36, qA_in_g(T36))
U69_G(T36, qA_out_g(T36)) → RN5_IN_G(T36)
RN5_IN_G(T51) → U44_G(T51, qF_in_g(T51))
U44_G(T51, qF_out_g(T51)) → RN6_IN_G(T51)
RN6_IN_G(f(f(T596))) → U47_G(T596, qN7_in_g(f(T596)))
U47_G(T596, qN7_out_g(f(T596))) → PN3_IN_G(T596)
PN3_IN_G(T89) → U42_G(T89, qN4_in_g(T89))
U42_G(T89, qN4_out_g(T89)) → RX_IN_G(T89)
RX_IN_G(f(f(T518))) → U35_G(T518, qY_in_g(f(T518)))
U35_G(T518, qY_out_g(f(T518))) → PV_IN_G(T518)
PV_IN_G(T127) → U32_G(T127, qW_in_g(T127))
U32_G(T127, qW_out_g(T127)) → RQ_IN_G(T127)
RQ_IN_G(f(f(T440))) → U25_G(T440, qR_in_g(f(T440)))
U25_G(T440, qR_out_g(f(T440))) → PO_IN_G(T440)
PO_IN_G(T165) → U22_G(T165, qP_in_g(T165))
U22_G(T165, qP_out_g(T165)) → RL_IN_G(T165)
RL_IN_G(f(f(T356))) → U17_G(T356, qM_in_g(f(T356)))
U17_G(T356, qM_out_g(f(T356))) → PC_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PC_IN_GG(T254, f(T255)) → U3_GG(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_GG(T254, T255, qD_out_gg(f(T254), f(T255))) → PC_IN_GG(T254, T255)
PC_IN_GG(T254, f(T255)) → QD_IN_GG(f(T254), f(T255))
QD_IN_GG(T682, f(f(T683))) → PN10_IN_GG(T682, T683)
PN10_IN_GG(T682, T683) → RN11_IN_GG(T682, T683)
RN11_IN_GG(T710, T711) → PN9_IN_GG(T710, T711)
PN9_IN_GG(T710, T711) → QD_IN_GG(T710, T711)
PN9_IN_GG(T736, f(T737)) → U57_GG(T736, T737, qD_in_gg(T736, f(T737)))
U57_GG(T736, T737, qD_out_gg(T736, f(T737))) → PN9_IN_GG(T736, T737)
PN9_IN_GG(T736, f(T737)) → QD_IN_GG(T736, f(T737))
PN9_IN_GG(f(T742), f(T742)) → U59_GG(T742, qD_in_gg(f(T742), f(T742)))
U59_GG(T742, qD_out_gg(f(T742), f(T742))) → TE_IN_G(T742)
TE_IN_G(T270) → PH_IN_G(T270)
PH_IN_G(T270) → QF_IN_G(f(T270))
QF_IN_G(f(f(T75))) → PG_IN_G(T75)
PG_IN_G(T75) → U50_G(T75, rN8_in_g(T75))
U50_G(T75, rN8_out_g(T75)) → PN2_IN_G(T75)
PN2_IN_G(f(f(T548))) → U40_G(T548, rX_in_g(f(f(T548))))
U40_G(T548, rX_out_g(f(f(T548)))) → PZ_IN_G(T548)
PZ_IN_G(T113) → U37_G(T113, rN1_in_g(T113))
U37_G(T113, rN1_out_g(T113)) → PU_IN_G(T113)
PU_IN_G(f(f(T470))) → U30_G(T470, rQ_in_g(f(f(T470))))
U30_G(T470, rQ_out_g(f(f(T470)))) → PS_IN_G(T470)
PS_IN_G(T151) → U27_G(T151, rT_in_g(T151))
U27_G(T151, rT_out_g(T151)) → PN_IN_G(T151)
PN_IN_G(f(f(T389))) → U20_G(T389, rL_in_g(f(f(T389))))
U20_G(T389, rL_out_g(f(f(T389)))) → PI_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PI_IN_GG(T303, f(T304)) → U13_GG(T303, T304, rJ_in_gg(T303, f(T304)))
U13_GG(T303, T304, rJ_out_gg(T303, f(T304))) → PI_IN_GG(T303, T304)
PI_IN_GG(T303, f(T304)) → RJ_IN_GG(T303, f(T304))
RJ_IN_GG(T285, T285) → TE_IN_G(T285)
PN_IN_G(f(f(T389))) → RL_IN_G(f(f(T389)))
RL_IN_G(f(f(T356))) → QM_IN_G(f(T356))
PS_IN_G(T151) → RT_IN_G(T151)
RT_IN_G(T165) → PO_IN_G(T165)
PO_IN_G(T165) → QP_IN_G(T165)
QP_IN_G(f(f(T179))) → PK_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PU_IN_G(f(f(T470))) → RQ_IN_G(f(f(T470)))
RQ_IN_G(f(f(T440))) → QR_IN_G(f(T440))
PZ_IN_G(T113) → RN1_IN_G(T113)
RN1_IN_G(T127) → PV_IN_G(T127)
PV_IN_G(T127) → QW_IN_G(T127)
QW_IN_G(f(f(T151))) → PS_IN_G(T151)
PN2_IN_G(f(f(T548))) → RX_IN_G(f(f(T548)))
RX_IN_G(f(f(T518))) → QY_IN_G(f(T518))
PG_IN_G(T75) → RN8_IN_G(T75)
RN8_IN_G(T89) → PN3_IN_G(T89)
PN3_IN_G(T89) → QN4_IN_G(T89)
QN4_IN_G(f(f(T113))) → PZ_IN_G(T113)
PH_IN_G(f(T281)) → U9_G(T281, qF_in_g(f(f(T281))))
U9_G(T281, qF_out_g(f(f(T281)))) → PH_IN_G(T281)
PH_IN_G(f(T281)) → QF_IN_G(f(f(T281)))
PN9_IN_GG(f(T742), f(T742)) → QD_IN_GG(f(T742), f(T742))
RN11_IN_GG(f(T746), T746) → TE_IN_G(T746)
PN10_IN_GG(a, b) → RN11_IN_GG(a, b)
PN10_IN_GG(T764, f(T765)) → U63_GG(T764, T765, rN11_in_gg(T764, f(T765)))
U63_GG(T764, T765, rN11_out_gg(T764, f(T765))) → PN10_IN_GG(T764, T765)
PN10_IN_GG(T764, f(T765)) → RN11_IN_GG(T764, f(T765))
PC_IN_GG(T260, f(T260)) → U5_GG(T260, qD_in_gg(f(T260), f(T260)))
U5_GG(T260, qD_out_gg(f(T260), f(T260))) → TE_IN_G(T260)
PC_IN_GG(T260, f(T260)) → QD_IN_GG(f(T260), f(T260))
RN6_IN_G(f(f(T596))) → QN7_IN_G(f(T596))
RN6_IN_G(f(T601)) → TE_IN_G(T601)
RN5_IN_G(T51) → QF_IN_G(T51)
RN13_IN_G(T36) → QA_IN_G(T36)
PN12_IN_G(T614) → U66_G(T614, rN13_in_g(T614))
U66_G(T614, rN13_out_g(T614)) → U67_G(T614, rN5_in_g(T614))
U67_G(T614, rN5_out_g(T614)) → PB_IN_G(T614)
PB_IN_G(f(f(T642))) → U53_G(T642, rN6_in_g(f(f(T642))))
U53_G(T642, rN6_out_g(f(f(T642)))) → PG_IN_G(T642)
PB_IN_G(f(f(T642))) → RN6_IN_G(f(f(T642)))
U66_G(T614, rN13_out_g(T614)) → RN5_IN_G(T614)
qD_in_gg(a, b) → qD_out_gg(a, b)
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(T22, rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(T656, pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(T628, rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(T565, qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(T579, pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(T534, rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(T487, qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(T501, pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(T456, rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(T409, qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(T322, qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(T336, pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(T200, T201, pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(T200, T201, rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(T228, T229, pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(T228, T229, qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(T682, T683, rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(T710, T711, pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(T710, T711, qD_in_gg(T710, T711))
U55_gg(T710, T711, qD_out_gg(T710, T711)) → pN9_out_gg(T710, T711)
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg(a, b)) → pN9_out_gg(a, b)
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg(T736, f(T737))) → U58_gg(T736, T737, pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg(f(T742), f(T742))) → U60_gg(T742, tE_in_g(T742))
tE_in_g(T270) → U11_g(T270, pH_in_g(T270))
pH_in_g(T270) → U8_g(T270, qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(T75, pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(T89, pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(T113, pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(T127, pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(T151, pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(T165, pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(T179, pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, pK_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qP_out_g(f(f(T179)))
U22_g(T165, qP_out_g(T165)) → pO_out_g(T165)
U22_g(T165, qP_out_g(T165)) → U23_g(T165, rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g(f(T356))) → U18_g(T356, pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg(f(T260), f(T260))) → U6_gg(T260, tE_in_g(T260))
U6_gg(T260, tE_out_g(T260)) → pC_out_gg(T260, f(T260))
U4_gg(T254, T255, pC_out_gg(T254, T255)) → pC_out_gg(T254, f(T255))
U18_g(T356, pC_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rL_out_g(f(f(T356)))
U23_g(T165, rL_out_g(T165)) → pO_out_g(T165)
U75_g(T165, pO_out_g(T165)) → rT_out_g(T165)
U27_g(T151, rT_out_g(T151)) → pS_out_g(T151)
U27_g(T151, rT_out_g(T151)) → U28_g(T151, pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g(f(f(T389)))) → U21_g(T389, pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(T285, tE_in_g(T285))
U78_gg(T285, tE_out_g(T285)) → rJ_out_gg(T285, T285)
U13_gg(T303, T304, rJ_out_gg(T303, f(T304))) → U14_gg(T303, T304, pI_in_gg(T303, T304))
U14_gg(T303, T304, pI_out_gg(T303, T304)) → pI_out_gg(T303, f(T304))
U21_g(T389, pI_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN_out_g(f(f(T389)))
U28_g(T151, pN_out_g(T151)) → pS_out_g(T151)
U74_g(T151, pS_out_g(T151)) → qW_out_g(f(f(T151)))
U32_g(T127, qW_out_g(T127)) → pV_out_g(T127)
U32_g(T127, qW_out_g(T127)) → U33_g(T127, rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g(f(T440))) → U26_g(T440, pO_in_g(T440))
U26_g(T440, pO_out_g(T440)) → rQ_out_g(f(f(T440)))
U33_g(T127, rQ_out_g(T127)) → pV_out_g(T127)
U73_g(T127, pV_out_g(T127)) → rN1_out_g(T127)
U37_g(T113, rN1_out_g(T113)) → pZ_out_g(T113)
U37_g(T113, rN1_out_g(T113)) → U38_g(T113, pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g(f(f(T470)))) → U31_g(T470, pS_in_g(T470))
U31_g(T470, pS_out_g(T470)) → pU_out_g(f(f(T470)))
U38_g(T113, pU_out_g(T113)) → pZ_out_g(T113)
U72_g(T113, pZ_out_g(T113)) → qN4_out_g(f(f(T113)))
U42_g(T89, qN4_out_g(T89)) → pN3_out_g(T89)
U42_g(T89, qN4_out_g(T89)) → U43_g(T89, rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g(f(T518))) → U36_g(T518, pV_in_g(T518))
U36_g(T518, pV_out_g(T518)) → rX_out_g(f(f(T518)))
U43_g(T89, rX_out_g(T89)) → pN3_out_g(T89)
U71_g(T89, pN3_out_g(T89)) → rN8_out_g(T89)
U50_g(T75, rN8_out_g(T75)) → pG_out_g(T75)
U50_g(T75, rN8_out_g(T75)) → U51_g(T75, pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g(f(f(T548)))) → U41_g(T548, pZ_in_g(T548))
U41_g(T548, pZ_out_g(T548)) → pN2_out_g(f(f(T548)))
U51_g(T75, pN2_out_g(T75)) → pG_out_g(T75)
U7_g(T75, pG_out_g(T75)) → qF_out_g(f(f(T75)))
U8_g(T270, qF_out_g(f(T270))) → pH_out_g(T270)
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g(f(f(T281)))) → U10_g(T281, pH_in_g(T281))
U10_g(T281, pH_out_g(T281)) → pH_out_g(f(T281))
U11_g(T270, pH_out_g(T270)) → tE_out_g(T270)
U60_gg(T742, tE_out_g(T742)) → pN9_out_gg(f(T742), f(T742))
U58_gg(T736, T737, pN9_out_gg(T736, T737)) → pN9_out_gg(T736, f(T737))
U83_gg(T710, T711, pN9_out_gg(T710, T711)) → rN11_out_gg(T710, T711)
rN11_in_gg(f(T746), T746) → U84_gg(T746, tE_in_g(T746))
U84_gg(T746, tE_out_g(T746)) → rN11_out_gg(f(T746), T746)
U61_gg(T682, T683, rN11_out_gg(T682, T683)) → pN10_out_gg(T682, T683)
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg(a, b)) → pN10_out_gg(a, b)
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg(T764, f(T765))) → U64_gg(T764, T765, pN10_in_gg(T764, T765))
U64_gg(T764, T765, pN10_out_gg(T764, T765)) → pN10_out_gg(T764, f(T765))
U87_gg(T682, T683, pN10_out_gg(T682, T683)) → qD_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, qD_out_gg(f(T228), T229)) → pC_out_gg(T228, T229)
U77_gg(T228, T229, pC_out_gg(T228, T229)) → rJ_out_gg(T228, T229)
U12_gg(T200, T201, rJ_out_gg(T200, T201)) → pI_out_gg(T200, T201)
U15_gg(T200, T201, pI_out_gg(T200, T201)) → pK_out_gg(T200, T201)
U79_g(T336, pK_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qM_out_g(f(f(T336)))
U16_g(T322, qM_out_g(T322)) → rL_out_g(f(T322))
U19_g(T375, rL_out_g(f(T375))) → pN_out_g(f(T375))
U80_g(T423, pN_out_g(f(T423))) → qR_out_g(f(f(T423)))
U24_g(T409, qR_out_g(T409)) → rQ_out_g(f(T409))
U29_g(T456, rQ_out_g(f(T456))) → pU_out_g(f(T456))
U81_g(T501, pU_out_g(f(T501))) → qY_out_g(f(f(T501)))
U34_g(T487, qY_out_g(T487)) → rX_out_g(f(T487))
U39_g(T534, rX_out_g(f(T534))) → pN2_out_g(f(T534))
U82_g(T579, pN2_out_g(f(T579))) → qN7_out_g(f(f(T579)))
U46_g(T565, qN7_out_g(T565)) → rN6_out_g(f(T565))
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g(f(T596))) → U48_g(T596, pN3_in_g(T596))
U48_g(T596, pN3_out_g(T596)) → rN6_out_g(f(f(T596)))
rN6_in_g(f(T601)) → U49_g(T601, tE_in_g(T601))
U49_g(T601, tE_out_g(T601)) → rN6_out_g(f(T601))
U52_g(T628, rN6_out_g(f(T628))) → pB_out_g(f(T628))
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g(f(f(T642)))) → U54_g(T642, pG_in_g(T642))
U54_g(T642, pG_out_g(T642)) → pB_out_g(f(f(T642)))
U1_g(T656, pB_out_g(f(T656))) → qA_out_g(f(T656))
U69_g(T36, qA_out_g(T36)) → rN13_out_g(T36)
U69_g(T36, qA_out_g(T36)) → U70_g(T36, rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g(T51)) → rN5_out_g(T51)
U44_g(T51, qF_out_g(T51)) → U45_g(T51, rN6_in_g(T51))
U45_g(T51, rN6_out_g(T51)) → rN5_out_g(T51)
U70_g(T36, rN5_out_g(T36)) → rN13_out_g(T36)
U65_g(T22, rN13_out_g(T22)) → pN12_out_g(T22)
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g(T614)) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g(T614)) → pN12_out_g(T614)
U67_g(T614, rN5_out_g(T614)) → U68_g(T614, pB_in_g(T614))
U68_g(T614, pB_out_g(T614)) → pN12_out_g(T614)
U85_gg(T11, pN12_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_gg(T11, pN12_out_g(T11)) → U86_gg(T11, qA_in_g(T11))
U86_gg(T11, qA_out_g(T11)) → qD_out_gg(T11, f(f(T11)))
U85_GG(T11, pN12_out_g) → QA_IN_G(T11)
QA_IN_G(f(T656)) → PB_IN_G(f(T656))
PB_IN_G(f(T628)) → RN6_IN_G(f(T628))
RN6_IN_G(f(T565)) → QN7_IN_G(T565)
QN7_IN_G(f(f(T579))) → PN2_IN_G(f(T579))
PN2_IN_G(f(T534)) → RX_IN_G(f(T534))
RX_IN_G(f(T487)) → QY_IN_G(T487)
QY_IN_G(f(f(T501))) → PU_IN_G(f(T501))
PU_IN_G(f(T456)) → RQ_IN_G(f(T456))
RQ_IN_G(f(T409)) → QR_IN_G(T409)
QR_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → QM_IN_G(T322)
QM_IN_G(f(f(T336))) → PK_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PK_IN_GG(T200, T201) → PI_IN_GG(T200, T201)
PI_IN_GG(T200, T201) → RJ_IN_GG(T200, T201)
RJ_IN_GG(T228, T229) → PC_IN_GG(T228, T229)
PC_IN_GG(T228, T229) → QD_IN_GG(f(T228), T229)
QD_IN_GG(T11, f(f(T11))) → U85_GG(T11, pN12_in_g(T11))
QD_IN_GG(T11, f(f(T11))) → PN12_IN_G(T11)
PN12_IN_G(T22) → RN13_IN_G(T22)
RN13_IN_G(T36) → U69_G(T36, qA_in_g(T36))
U69_G(T36, qA_out_g) → RN5_IN_G(T36)
RN5_IN_G(T51) → U44_G(T51, qF_in_g(T51))
U44_G(T51, qF_out_g) → RN6_IN_G(T51)
RN6_IN_G(f(f(T596))) → U47_G(T596, qN7_in_g(f(T596)))
U47_G(T596, qN7_out_g) → PN3_IN_G(T596)
PN3_IN_G(T89) → U42_G(T89, qN4_in_g(T89))
U42_G(T89, qN4_out_g) → RX_IN_G(T89)
RX_IN_G(f(f(T518))) → U35_G(T518, qY_in_g(f(T518)))
U35_G(T518, qY_out_g) → PV_IN_G(T518)
PV_IN_G(T127) → U32_G(T127, qW_in_g(T127))
U32_G(T127, qW_out_g) → RQ_IN_G(T127)
RQ_IN_G(f(f(T440))) → U25_G(T440, qR_in_g(f(T440)))
U25_G(T440, qR_out_g) → PO_IN_G(T440)
PO_IN_G(T165) → U22_G(T165, qP_in_g(T165))
U22_G(T165, qP_out_g) → RL_IN_G(T165)
RL_IN_G(f(f(T356))) → U17_G(T356, qM_in_g(f(T356)))
U17_G(T356, qM_out_g) → PC_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PC_IN_GG(T254, f(T255)) → U3_GG(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_GG(T254, T255, qD_out_gg) → PC_IN_GG(T254, T255)
PC_IN_GG(T254, f(T255)) → QD_IN_GG(f(T254), f(T255))
QD_IN_GG(T682, f(f(T683))) → PN10_IN_GG(T682, T683)
PN10_IN_GG(T682, T683) → RN11_IN_GG(T682, T683)
RN11_IN_GG(T710, T711) → PN9_IN_GG(T710, T711)
PN9_IN_GG(T710, T711) → QD_IN_GG(T710, T711)
PN9_IN_GG(T736, f(T737)) → U57_GG(T736, T737, qD_in_gg(T736, f(T737)))
U57_GG(T736, T737, qD_out_gg) → PN9_IN_GG(T736, T737)
PN9_IN_GG(T736, f(T737)) → QD_IN_GG(T736, f(T737))
PN9_IN_GG(f(T742), f(T742)) → U59_GG(T742, qD_in_gg(f(T742), f(T742)))
U59_GG(T742, qD_out_gg) → TE_IN_G(T742)
TE_IN_G(T270) → PH_IN_G(T270)
PH_IN_G(T270) → QF_IN_G(f(T270))
QF_IN_G(f(f(T75))) → PG_IN_G(T75)
PG_IN_G(T75) → U50_G(T75, rN8_in_g(T75))
U50_G(T75, rN8_out_g) → PN2_IN_G(T75)
PN2_IN_G(f(f(T548))) → U40_G(T548, rX_in_g(f(f(T548))))
U40_G(T548, rX_out_g) → PZ_IN_G(T548)
PZ_IN_G(T113) → U37_G(T113, rN1_in_g(T113))
U37_G(T113, rN1_out_g) → PU_IN_G(T113)
PU_IN_G(f(f(T470))) → U30_G(T470, rQ_in_g(f(f(T470))))
U30_G(T470, rQ_out_g) → PS_IN_G(T470)
PS_IN_G(T151) → U27_G(T151, rT_in_g(T151))
U27_G(T151, rT_out_g) → PN_IN_G(T151)
PN_IN_G(f(f(T389))) → U20_G(T389, rL_in_g(f(f(T389))))
U20_G(T389, rL_out_g) → PI_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PI_IN_GG(T303, f(T304)) → U13_GG(T303, T304, rJ_in_gg(T303, f(T304)))
U13_GG(T303, T304, rJ_out_gg) → PI_IN_GG(T303, T304)
PI_IN_GG(T303, f(T304)) → RJ_IN_GG(T303, f(T304))
RJ_IN_GG(T285, T285) → TE_IN_G(T285)
PN_IN_G(f(f(T389))) → RL_IN_G(f(f(T389)))
RL_IN_G(f(f(T356))) → QM_IN_G(f(T356))
PS_IN_G(T151) → RT_IN_G(T151)
RT_IN_G(T165) → PO_IN_G(T165)
PO_IN_G(T165) → QP_IN_G(T165)
QP_IN_G(f(f(T179))) → PK_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PU_IN_G(f(f(T470))) → RQ_IN_G(f(f(T470)))
RQ_IN_G(f(f(T440))) → QR_IN_G(f(T440))
PZ_IN_G(T113) → RN1_IN_G(T113)
RN1_IN_G(T127) → PV_IN_G(T127)
PV_IN_G(T127) → QW_IN_G(T127)
QW_IN_G(f(f(T151))) → PS_IN_G(T151)
PN2_IN_G(f(f(T548))) → RX_IN_G(f(f(T548)))
RX_IN_G(f(f(T518))) → QY_IN_G(f(T518))
PG_IN_G(T75) → RN8_IN_G(T75)
RN8_IN_G(T89) → PN3_IN_G(T89)
PN3_IN_G(T89) → QN4_IN_G(T89)
QN4_IN_G(f(f(T113))) → PZ_IN_G(T113)
PH_IN_G(f(T281)) → U9_G(T281, qF_in_g(f(f(T281))))
U9_G(T281, qF_out_g) → PH_IN_G(T281)
PH_IN_G(f(T281)) → QF_IN_G(f(f(T281)))
PN9_IN_GG(f(T742), f(T742)) → QD_IN_GG(f(T742), f(T742))
RN11_IN_GG(f(T746), T746) → TE_IN_G(T746)
PN10_IN_GG(a, b) → RN11_IN_GG(a, b)
PN10_IN_GG(T764, f(T765)) → U63_GG(T764, T765, rN11_in_gg(T764, f(T765)))
U63_GG(T764, T765, rN11_out_gg) → PN10_IN_GG(T764, T765)
PN10_IN_GG(T764, f(T765)) → RN11_IN_GG(T764, f(T765))
PC_IN_GG(T260, f(T260)) → U5_GG(T260, qD_in_gg(f(T260), f(T260)))
U5_GG(T260, qD_out_gg) → TE_IN_G(T260)
PC_IN_GG(T260, f(T260)) → QD_IN_GG(f(T260), f(T260))
RN6_IN_G(f(f(T596))) → QN7_IN_G(f(T596))
RN6_IN_G(f(T601)) → TE_IN_G(T601)
RN5_IN_G(T51) → QF_IN_G(T51)
RN13_IN_G(T36) → QA_IN_G(T36)
PN12_IN_G(T614) → U66_G(T614, rN13_in_g(T614))
U66_G(T614, rN13_out_g) → U67_G(T614, rN5_in_g(T614))
U67_G(T614, rN5_out_g) → PB_IN_G(T614)
PB_IN_G(f(f(T642))) → U53_G(T642, rN6_in_g(f(f(T642))))
U53_G(T642, rN6_out_g) → PG_IN_G(T642)
PB_IN_G(f(f(T642))) → RN6_IN_G(f(f(T642)))
U66_G(T614, rN13_out_g) → RN5_IN_G(T614)
qD_in_gg(a, b) → qD_out_gg
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(qD_in_gg(T710, T711))
U55_gg(qD_out_gg) → pN9_out_gg
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg) → pN9_out_gg
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg) → U58_gg(pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg) → U60_gg(tE_in_g(T742))
tE_in_g(T270) → U11_g(pH_in_g(T270))
pH_in_g(T270) → U8_g(qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(pK_out_gg) → qP_out_g
U22_g(T165, qP_out_g) → pO_out_g
U22_g(T165, qP_out_g) → U23_g(rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g) → U18_g(pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg) → U4_gg(pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg) → U6_gg(tE_in_g(T260))
U6_gg(tE_out_g) → pC_out_gg
U4_gg(pC_out_gg) → pC_out_gg
U18_g(pC_out_gg) → rL_out_g
U23_g(rL_out_g) → pO_out_g
U75_g(pO_out_g) → rT_out_g
U27_g(T151, rT_out_g) → pS_out_g
U27_g(T151, rT_out_g) → U28_g(pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g) → U21_g(pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(tE_in_g(T285))
U78_gg(tE_out_g) → rJ_out_gg
U13_gg(T303, T304, rJ_out_gg) → U14_gg(pI_in_gg(T303, T304))
U14_gg(pI_out_gg) → pI_out_gg
U21_g(pI_out_gg) → pN_out_g
U28_g(pN_out_g) → pS_out_g
U74_g(pS_out_g) → qW_out_g
U32_g(T127, qW_out_g) → pV_out_g
U32_g(T127, qW_out_g) → U33_g(rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g) → U26_g(pO_in_g(T440))
U26_g(pO_out_g) → rQ_out_g
U33_g(rQ_out_g) → pV_out_g
U73_g(pV_out_g) → rN1_out_g
U37_g(T113, rN1_out_g) → pZ_out_g
U37_g(T113, rN1_out_g) → U38_g(pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g) → U31_g(pS_in_g(T470))
U31_g(pS_out_g) → pU_out_g
U38_g(pU_out_g) → pZ_out_g
U72_g(pZ_out_g) → qN4_out_g
U42_g(T89, qN4_out_g) → pN3_out_g
U42_g(T89, qN4_out_g) → U43_g(rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g) → U36_g(pV_in_g(T518))
U36_g(pV_out_g) → rX_out_g
U43_g(rX_out_g) → pN3_out_g
U71_g(pN3_out_g) → rN8_out_g
U50_g(T75, rN8_out_g) → pG_out_g
U50_g(T75, rN8_out_g) → U51_g(pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g) → U41_g(pZ_in_g(T548))
U41_g(pZ_out_g) → pN2_out_g
U51_g(pN2_out_g) → pG_out_g
U7_g(pG_out_g) → qF_out_g
U8_g(qF_out_g) → pH_out_g
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g) → U10_g(pH_in_g(T281))
U10_g(pH_out_g) → pH_out_g
U11_g(pH_out_g) → tE_out_g
U60_gg(tE_out_g) → pN9_out_gg
U58_gg(pN9_out_gg) → pN9_out_gg
U83_gg(pN9_out_gg) → rN11_out_gg
rN11_in_gg(f(T746), T746) → U84_gg(tE_in_g(T746))
U84_gg(tE_out_g) → rN11_out_gg
U61_gg(rN11_out_gg) → pN10_out_gg
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg) → pN10_out_gg
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg) → U64_gg(pN10_in_gg(T764, T765))
U64_gg(pN10_out_gg) → pN10_out_gg
U87_gg(pN10_out_gg) → qD_out_gg
U2_gg(qD_out_gg) → pC_out_gg
U77_gg(pC_out_gg) → rJ_out_gg
U12_gg(rJ_out_gg) → pI_out_gg
U15_gg(pI_out_gg) → pK_out_gg
U79_g(pK_out_gg) → qM_out_g
U16_g(qM_out_g) → rL_out_g
U19_g(rL_out_g) → pN_out_g
U80_g(pN_out_g) → qR_out_g
U24_g(qR_out_g) → rQ_out_g
U29_g(rQ_out_g) → pU_out_g
U81_g(pU_out_g) → qY_out_g
U34_g(qY_out_g) → rX_out_g
U39_g(rX_out_g) → pN2_out_g
U82_g(pN2_out_g) → qN7_out_g
U46_g(qN7_out_g) → rN6_out_g
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g) → U48_g(pN3_in_g(T596))
U48_g(pN3_out_g) → rN6_out_g
rN6_in_g(f(T601)) → U49_g(tE_in_g(T601))
U49_g(tE_out_g) → rN6_out_g
U52_g(rN6_out_g) → pB_out_g
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g) → U54_g(pG_in_g(T642))
U54_g(pG_out_g) → pB_out_g
U1_g(pB_out_g) → qA_out_g
U69_g(T36, qA_out_g) → rN13_out_g
U69_g(T36, qA_out_g) → U70_g(rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g) → rN5_out_g
U44_g(T51, qF_out_g) → U45_g(rN6_in_g(T51))
U45_g(rN6_out_g) → rN5_out_g
U70_g(rN5_out_g) → rN13_out_g
U65_g(rN13_out_g) → pN12_out_g
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g) → pN12_out_g
U67_g(T614, rN5_out_g) → U68_g(pB_in_g(T614))
U68_g(pB_out_g) → pN12_out_g
U85_gg(T11, pN12_out_g) → qD_out_gg
U85_gg(T11, pN12_out_g) → U86_gg(qA_in_g(T11))
U86_gg(qA_out_g) → qD_out_gg
qD_in_gg(x0, x1)
pN12_in_g(x0)
rN13_in_g(x0)
qA_in_g(x0)
pB_in_g(x0)
rN6_in_g(x0)
qN7_in_g(x0)
pN2_in_g(x0)
rX_in_g(x0)
qY_in_g(x0)
pU_in_g(x0)
rQ_in_g(x0)
qR_in_g(x0)
pN_in_g(x0)
rL_in_g(x0)
qM_in_g(x0)
pK_in_gg(x0, x1)
pI_in_gg(x0, x1)
rJ_in_gg(x0, x1)
pC_in_gg(x0, x1)
pN10_in_gg(x0, x1)
rN11_in_gg(x0, x1)
pN9_in_gg(x0, x1)
U55_gg(x0)
U56_gg(x0)
U57_gg(x0, x1, x2)
U59_gg(x0, x1)
tE_in_g(x0)
pH_in_g(x0)
qF_in_g(x0)
pG_in_g(x0)
rN8_in_g(x0)
pN3_in_g(x0)
qN4_in_g(x0)
pZ_in_g(x0)
rN1_in_g(x0)
pV_in_g(x0)
qW_in_g(x0)
pS_in_g(x0)
rT_in_g(x0)
pO_in_g(x0)
qP_in_g(x0)
U76_g(x0)
U22_g(x0, x1)
U17_g(x0, x1)
U3_gg(x0, x1, x2)
U5_gg(x0, x1)
U6_gg(x0)
U4_gg(x0)
U18_g(x0)
U23_g(x0)
U75_g(x0)
U27_g(x0, x1)
U20_g(x0, x1)
U78_gg(x0)
U13_gg(x0, x1, x2)
U14_gg(x0)
U21_g(x0)
U28_g(x0)
U74_g(x0)
U32_g(x0, x1)
U25_g(x0, x1)
U26_g(x0)
U33_g(x0)
U73_g(x0)
U37_g(x0, x1)
U30_g(x0, x1)
U31_g(x0)
U38_g(x0)
U72_g(x0)
U42_g(x0, x1)
U35_g(x0, x1)
U36_g(x0)
U43_g(x0)
U71_g(x0)
U50_g(x0, x1)
U40_g(x0, x1)
U41_g(x0)
U51_g(x0)
U7_g(x0)
U8_g(x0)
U9_g(x0, x1)
U10_g(x0)
U11_g(x0)
U60_gg(x0)
U58_gg(x0)
U83_gg(x0)
U84_gg(x0)
U61_gg(x0)
U62_gg(x0)
U63_gg(x0, x1, x2)
U64_gg(x0)
U87_gg(x0)
U2_gg(x0)
U77_gg(x0)
U12_gg(x0)
U15_gg(x0)
U79_g(x0)
U16_g(x0)
U19_g(x0)
U80_g(x0)
U24_g(x0)
U29_g(x0)
U81_g(x0)
U34_g(x0)
U39_g(x0)
U82_g(x0)
U46_g(x0)
U47_g(x0, x1)
U48_g(x0)
U49_g(x0)
U52_g(x0)
U53_g(x0, x1)
U54_g(x0)
U1_g(x0)
U69_g(x0, x1)
rN5_in_g(x0)
U44_g(x0, x1)
U45_g(x0)
U70_g(x0)
U65_g(x0)
U66_g(x0, x1)
U67_g(x0, x1)
U68_g(x0)
U85_gg(x0, x1)
U86_gg(x0)
PK_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → PI_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
PK_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → PI_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)
U85_GG(T11, pN12_out_g) → QA_IN_G(T11)
QA_IN_G(f(T656)) → PB_IN_G(f(T656))
PB_IN_G(f(T628)) → RN6_IN_G(f(T628))
RN6_IN_G(f(T565)) → QN7_IN_G(T565)
QN7_IN_G(f(f(T579))) → PN2_IN_G(f(T579))
PN2_IN_G(f(T534)) → RX_IN_G(f(T534))
RX_IN_G(f(T487)) → QY_IN_G(T487)
QY_IN_G(f(f(T501))) → PU_IN_G(f(T501))
PU_IN_G(f(T456)) → RQ_IN_G(f(T456))
RQ_IN_G(f(T409)) → QR_IN_G(T409)
QR_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → QM_IN_G(T322)
QM_IN_G(f(f(T336))) → PK_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PI_IN_GG(T200, T201) → RJ_IN_GG(T200, T201)
RJ_IN_GG(T228, T229) → PC_IN_GG(T228, T229)
PC_IN_GG(T228, T229) → QD_IN_GG(f(T228), T229)
QD_IN_GG(T11, f(f(T11))) → U85_GG(T11, pN12_in_g(T11))
QD_IN_GG(T11, f(f(T11))) → PN12_IN_G(T11)
PN12_IN_G(T22) → RN13_IN_G(T22)
RN13_IN_G(T36) → U69_G(T36, qA_in_g(T36))
U69_G(T36, qA_out_g) → RN5_IN_G(T36)
RN5_IN_G(T51) → U44_G(T51, qF_in_g(T51))
U44_G(T51, qF_out_g) → RN6_IN_G(T51)
RN6_IN_G(f(f(T596))) → U47_G(T596, qN7_in_g(f(T596)))
U47_G(T596, qN7_out_g) → PN3_IN_G(T596)
PN3_IN_G(T89) → U42_G(T89, qN4_in_g(T89))
U42_G(T89, qN4_out_g) → RX_IN_G(T89)
RX_IN_G(f(f(T518))) → U35_G(T518, qY_in_g(f(T518)))
U35_G(T518, qY_out_g) → PV_IN_G(T518)
PV_IN_G(T127) → U32_G(T127, qW_in_g(T127))
U32_G(T127, qW_out_g) → RQ_IN_G(T127)
RQ_IN_G(f(f(T440))) → U25_G(T440, qR_in_g(f(T440)))
U25_G(T440, qR_out_g) → PO_IN_G(T440)
PO_IN_G(T165) → U22_G(T165, qP_in_g(T165))
U22_G(T165, qP_out_g) → RL_IN_G(T165)
RL_IN_G(f(f(T356))) → U17_G(T356, qM_in_g(f(T356)))
U17_G(T356, qM_out_g) → PC_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PC_IN_GG(T254, f(T255)) → U3_GG(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_GG(T254, T255, qD_out_gg) → PC_IN_GG(T254, T255)
PC_IN_GG(T254, f(T255)) → QD_IN_GG(f(T254), f(T255))
QD_IN_GG(T682, f(f(T683))) → PN10_IN_GG(T682, T683)
PN10_IN_GG(T682, T683) → RN11_IN_GG(T682, T683)
RN11_IN_GG(T710, T711) → PN9_IN_GG(T710, T711)
PN9_IN_GG(T710, T711) → QD_IN_GG(T710, T711)
PN9_IN_GG(T736, f(T737)) → U57_GG(T736, T737, qD_in_gg(T736, f(T737)))
U57_GG(T736, T737, qD_out_gg) → PN9_IN_GG(T736, T737)
PN9_IN_GG(T736, f(T737)) → QD_IN_GG(T736, f(T737))
PN9_IN_GG(f(T742), f(T742)) → U59_GG(T742, qD_in_gg(f(T742), f(T742)))
U59_GG(T742, qD_out_gg) → TE_IN_G(T742)
TE_IN_G(T270) → PH_IN_G(T270)
PH_IN_G(T270) → QF_IN_G(f(T270))
QF_IN_G(f(f(T75))) → PG_IN_G(T75)
PG_IN_G(T75) → U50_G(T75, rN8_in_g(T75))
U50_G(T75, rN8_out_g) → PN2_IN_G(T75)
PN2_IN_G(f(f(T548))) → U40_G(T548, rX_in_g(f(f(T548))))
U40_G(T548, rX_out_g) → PZ_IN_G(T548)
PZ_IN_G(T113) → U37_G(T113, rN1_in_g(T113))
U37_G(T113, rN1_out_g) → PU_IN_G(T113)
PU_IN_G(f(f(T470))) → U30_G(T470, rQ_in_g(f(f(T470))))
U30_G(T470, rQ_out_g) → PS_IN_G(T470)
PS_IN_G(T151) → U27_G(T151, rT_in_g(T151))
U27_G(T151, rT_out_g) → PN_IN_G(T151)
PN_IN_G(f(f(T389))) → U20_G(T389, rL_in_g(f(f(T389))))
U20_G(T389, rL_out_g) → PI_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PI_IN_GG(T303, f(T304)) → U13_GG(T303, T304, rJ_in_gg(T303, f(T304)))
U13_GG(T303, T304, rJ_out_gg) → PI_IN_GG(T303, T304)
PI_IN_GG(T303, f(T304)) → RJ_IN_GG(T303, f(T304))
RJ_IN_GG(T285, T285) → TE_IN_G(T285)
PN_IN_G(f(f(T389))) → RL_IN_G(f(f(T389)))
RL_IN_G(f(f(T356))) → QM_IN_G(f(T356))
PS_IN_G(T151) → RT_IN_G(T151)
RT_IN_G(T165) → PO_IN_G(T165)
PO_IN_G(T165) → QP_IN_G(T165)
QP_IN_G(f(f(T179))) → PK_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PU_IN_G(f(f(T470))) → RQ_IN_G(f(f(T470)))
RQ_IN_G(f(f(T440))) → QR_IN_G(f(T440))
PZ_IN_G(T113) → RN1_IN_G(T113)
RN1_IN_G(T127) → PV_IN_G(T127)
PV_IN_G(T127) → QW_IN_G(T127)
QW_IN_G(f(f(T151))) → PS_IN_G(T151)
PN2_IN_G(f(f(T548))) → RX_IN_G(f(f(T548)))
RX_IN_G(f(f(T518))) → QY_IN_G(f(T518))
PG_IN_G(T75) → RN8_IN_G(T75)
RN8_IN_G(T89) → PN3_IN_G(T89)
PN3_IN_G(T89) → QN4_IN_G(T89)
QN4_IN_G(f(f(T113))) → PZ_IN_G(T113)
PH_IN_G(f(T281)) → U9_G(T281, qF_in_g(f(f(T281))))
U9_G(T281, qF_out_g) → PH_IN_G(T281)
PH_IN_G(f(T281)) → QF_IN_G(f(f(T281)))
PN9_IN_GG(f(T742), f(T742)) → QD_IN_GG(f(T742), f(T742))
RN11_IN_GG(f(T746), T746) → TE_IN_G(T746)
PN10_IN_GG(a, b) → RN11_IN_GG(a, b)
PN10_IN_GG(T764, f(T765)) → U63_GG(T764, T765, rN11_in_gg(T764, f(T765)))
U63_GG(T764, T765, rN11_out_gg) → PN10_IN_GG(T764, T765)
PN10_IN_GG(T764, f(T765)) → RN11_IN_GG(T764, f(T765))
PC_IN_GG(T260, f(T260)) → U5_GG(T260, qD_in_gg(f(T260), f(T260)))
U5_GG(T260, qD_out_gg) → TE_IN_G(T260)
PC_IN_GG(T260, f(T260)) → QD_IN_GG(f(T260), f(T260))
RN6_IN_G(f(f(T596))) → QN7_IN_G(f(T596))
RN6_IN_G(f(T601)) → TE_IN_G(T601)
RN5_IN_G(T51) → QF_IN_G(T51)
RN13_IN_G(T36) → QA_IN_G(T36)
PN12_IN_G(T614) → U66_G(T614, rN13_in_g(T614))
U66_G(T614, rN13_out_g) → U67_G(T614, rN5_in_g(T614))
U67_G(T614, rN5_out_g) → PB_IN_G(T614)
PB_IN_G(f(f(T642))) → U53_G(T642, rN6_in_g(f(f(T642))))
U53_G(T642, rN6_out_g) → PG_IN_G(T642)
PB_IN_G(f(f(T642))) → RN6_IN_G(f(f(T642)))
U66_G(T614, rN13_out_g) → RN5_IN_G(T614)
PK_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → PI_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
PK_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → PI_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)
qD_in_gg(a, b) → qD_out_gg
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(qD_in_gg(T710, T711))
U55_gg(qD_out_gg) → pN9_out_gg
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg) → pN9_out_gg
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg) → U58_gg(pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg) → U60_gg(tE_in_g(T742))
tE_in_g(T270) → U11_g(pH_in_g(T270))
pH_in_g(T270) → U8_g(qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(pK_out_gg) → qP_out_g
U22_g(T165, qP_out_g) → pO_out_g
U22_g(T165, qP_out_g) → U23_g(rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g) → U18_g(pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg) → U4_gg(pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg) → U6_gg(tE_in_g(T260))
U6_gg(tE_out_g) → pC_out_gg
U4_gg(pC_out_gg) → pC_out_gg
U18_g(pC_out_gg) → rL_out_g
U23_g(rL_out_g) → pO_out_g
U75_g(pO_out_g) → rT_out_g
U27_g(T151, rT_out_g) → pS_out_g
U27_g(T151, rT_out_g) → U28_g(pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g) → U21_g(pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(tE_in_g(T285))
U78_gg(tE_out_g) → rJ_out_gg
U13_gg(T303, T304, rJ_out_gg) → U14_gg(pI_in_gg(T303, T304))
U14_gg(pI_out_gg) → pI_out_gg
U21_g(pI_out_gg) → pN_out_g
U28_g(pN_out_g) → pS_out_g
U74_g(pS_out_g) → qW_out_g
U32_g(T127, qW_out_g) → pV_out_g
U32_g(T127, qW_out_g) → U33_g(rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g) → U26_g(pO_in_g(T440))
U26_g(pO_out_g) → rQ_out_g
U33_g(rQ_out_g) → pV_out_g
U73_g(pV_out_g) → rN1_out_g
U37_g(T113, rN1_out_g) → pZ_out_g
U37_g(T113, rN1_out_g) → U38_g(pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g) → U31_g(pS_in_g(T470))
U31_g(pS_out_g) → pU_out_g
U38_g(pU_out_g) → pZ_out_g
U72_g(pZ_out_g) → qN4_out_g
U42_g(T89, qN4_out_g) → pN3_out_g
U42_g(T89, qN4_out_g) → U43_g(rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g) → U36_g(pV_in_g(T518))
U36_g(pV_out_g) → rX_out_g
U43_g(rX_out_g) → pN3_out_g
U71_g(pN3_out_g) → rN8_out_g
U50_g(T75, rN8_out_g) → pG_out_g
U50_g(T75, rN8_out_g) → U51_g(pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g) → U41_g(pZ_in_g(T548))
U41_g(pZ_out_g) → pN2_out_g
U51_g(pN2_out_g) → pG_out_g
U7_g(pG_out_g) → qF_out_g
U8_g(qF_out_g) → pH_out_g
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g) → U10_g(pH_in_g(T281))
U10_g(pH_out_g) → pH_out_g
U11_g(pH_out_g) → tE_out_g
U60_gg(tE_out_g) → pN9_out_gg
U58_gg(pN9_out_gg) → pN9_out_gg
U83_gg(pN9_out_gg) → rN11_out_gg
rN11_in_gg(f(T746), T746) → U84_gg(tE_in_g(T746))
U84_gg(tE_out_g) → rN11_out_gg
U61_gg(rN11_out_gg) → pN10_out_gg
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg) → pN10_out_gg
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg) → U64_gg(pN10_in_gg(T764, T765))
U64_gg(pN10_out_gg) → pN10_out_gg
U87_gg(pN10_out_gg) → qD_out_gg
U2_gg(qD_out_gg) → pC_out_gg
U77_gg(pC_out_gg) → rJ_out_gg
U12_gg(rJ_out_gg) → pI_out_gg
U15_gg(pI_out_gg) → pK_out_gg
U79_g(pK_out_gg) → qM_out_g
U16_g(qM_out_g) → rL_out_g
U19_g(rL_out_g) → pN_out_g
U80_g(pN_out_g) → qR_out_g
U24_g(qR_out_g) → rQ_out_g
U29_g(rQ_out_g) → pU_out_g
U81_g(pU_out_g) → qY_out_g
U34_g(qY_out_g) → rX_out_g
U39_g(rX_out_g) → pN2_out_g
U82_g(pN2_out_g) → qN7_out_g
U46_g(qN7_out_g) → rN6_out_g
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g) → U48_g(pN3_in_g(T596))
U48_g(pN3_out_g) → rN6_out_g
rN6_in_g(f(T601)) → U49_g(tE_in_g(T601))
U49_g(tE_out_g) → rN6_out_g
U52_g(rN6_out_g) → pB_out_g
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g) → U54_g(pG_in_g(T642))
U54_g(pG_out_g) → pB_out_g
U1_g(pB_out_g) → qA_out_g
U69_g(T36, qA_out_g) → rN13_out_g
U69_g(T36, qA_out_g) → U70_g(rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g) → rN5_out_g
U44_g(T51, qF_out_g) → U45_g(rN6_in_g(T51))
U45_g(rN6_out_g) → rN5_out_g
U70_g(rN5_out_g) → rN13_out_g
U65_g(rN13_out_g) → pN12_out_g
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g) → pN12_out_g
U67_g(T614, rN5_out_g) → U68_g(pB_in_g(T614))
U68_g(pB_out_g) → pN12_out_g
U85_gg(T11, pN12_out_g) → qD_out_gg
U85_gg(T11, pN12_out_g) → U86_gg(qA_in_g(T11))
U86_gg(qA_out_g) → qD_out_gg
qD_in_gg(x0, x1)
pN12_in_g(x0)
rN13_in_g(x0)
qA_in_g(x0)
pB_in_g(x0)
rN6_in_g(x0)
qN7_in_g(x0)
pN2_in_g(x0)
rX_in_g(x0)
qY_in_g(x0)
pU_in_g(x0)
rQ_in_g(x0)
qR_in_g(x0)
pN_in_g(x0)
rL_in_g(x0)
qM_in_g(x0)
pK_in_gg(x0, x1)
pI_in_gg(x0, x1)
rJ_in_gg(x0, x1)
pC_in_gg(x0, x1)
pN10_in_gg(x0, x1)
rN11_in_gg(x0, x1)
pN9_in_gg(x0, x1)
U55_gg(x0)
U56_gg(x0)
U57_gg(x0, x1, x2)
U59_gg(x0, x1)
tE_in_g(x0)
pH_in_g(x0)
qF_in_g(x0)
pG_in_g(x0)
rN8_in_g(x0)
pN3_in_g(x0)
qN4_in_g(x0)
pZ_in_g(x0)
rN1_in_g(x0)
pV_in_g(x0)
qW_in_g(x0)
pS_in_g(x0)
rT_in_g(x0)
pO_in_g(x0)
qP_in_g(x0)
U76_g(x0)
U22_g(x0, x1)
U17_g(x0, x1)
U3_gg(x0, x1, x2)
U5_gg(x0, x1)
U6_gg(x0)
U4_gg(x0)
U18_g(x0)
U23_g(x0)
U75_g(x0)
U27_g(x0, x1)
U20_g(x0, x1)
U78_gg(x0)
U13_gg(x0, x1, x2)
U14_gg(x0)
U21_g(x0)
U28_g(x0)
U74_g(x0)
U32_g(x0, x1)
U25_g(x0, x1)
U26_g(x0)
U33_g(x0)
U73_g(x0)
U37_g(x0, x1)
U30_g(x0, x1)
U31_g(x0)
U38_g(x0)
U72_g(x0)
U42_g(x0, x1)
U35_g(x0, x1)
U36_g(x0)
U43_g(x0)
U71_g(x0)
U50_g(x0, x1)
U40_g(x0, x1)
U41_g(x0)
U51_g(x0)
U7_g(x0)
U8_g(x0)
U9_g(x0, x1)
U10_g(x0)
U11_g(x0)
U60_gg(x0)
U58_gg(x0)
U83_gg(x0)
U84_gg(x0)
U61_gg(x0)
U62_gg(x0)
U63_gg(x0, x1, x2)
U64_gg(x0)
U87_gg(x0)
U2_gg(x0)
U77_gg(x0)
U12_gg(x0)
U15_gg(x0)
U79_g(x0)
U16_g(x0)
U19_g(x0)
U80_g(x0)
U24_g(x0)
U29_g(x0)
U81_g(x0)
U34_g(x0)
U39_g(x0)
U82_g(x0)
U46_g(x0)
U47_g(x0, x1)
U48_g(x0)
U49_g(x0)
U52_g(x0)
U53_g(x0, x1)
U54_g(x0)
U1_g(x0)
U69_g(x0, x1)
rN5_in_g(x0)
U44_g(x0, x1)
U45_g(x0)
U70_g(x0)
U65_g(x0)
U66_g(x0, x1)
U67_g(x0, x1)
U68_g(x0)
U85_gg(x0, x1)
U86_gg(x0)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
RN6_IN_G(f(T565)) → QN7_IN_G(T565)
QN7_IN_G(f(f(T579))) → PN2_IN_G(f(T579))
RX_IN_G(f(T487)) → QY_IN_G(T487)
RQ_IN_G(f(T409)) → QR_IN_G(T409)
QR_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → QM_IN_G(T322)
QM_IN_G(f(f(T336))) → PK_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PC_IN_GG(T228, T229) → QD_IN_GG(f(T228), T229)
QD_IN_GG(T11, f(f(T11))) → U85_GG(T11, pN12_in_g(T11))
QD_IN_GG(T11, f(f(T11))) → PN12_IN_G(T11)
RN6_IN_G(f(f(T596))) → U47_G(T596, qN7_in_g(f(T596)))
RX_IN_G(f(f(T518))) → U35_G(T518, qY_in_g(f(T518)))
RQ_IN_G(f(f(T440))) → U25_G(T440, qR_in_g(f(T440)))
RL_IN_G(f(f(T356))) → U17_G(T356, qM_in_g(f(T356)))
PC_IN_GG(T254, f(T255)) → U3_GG(T254, T255, qD_in_gg(f(T254), f(T255)))
PC_IN_GG(T254, f(T255)) → QD_IN_GG(f(T254), f(T255))
QD_IN_GG(T682, f(f(T683))) → PN10_IN_GG(T682, T683)
PN9_IN_GG(T710, T711) → QD_IN_GG(T710, T711)
PN9_IN_GG(T736, f(T737)) → U57_GG(T736, T737, qD_in_gg(T736, f(T737)))
PN9_IN_GG(T736, f(T737)) → QD_IN_GG(T736, f(T737))
PN9_IN_GG(f(T742), f(T742)) → U59_GG(T742, qD_in_gg(f(T742), f(T742)))
QF_IN_G(f(f(T75))) → PG_IN_G(T75)
PN2_IN_G(f(f(T548))) → U40_G(T548, rX_in_g(f(f(T548))))
PU_IN_G(f(f(T470))) → U30_G(T470, rQ_in_g(f(f(T470))))
PN_IN_G(f(f(T389))) → U20_G(T389, rL_in_g(f(f(T389))))
PI_IN_GG(T303, f(T304)) → U13_GG(T303, T304, rJ_in_gg(T303, f(T304)))
PN_IN_G(f(f(T389))) → RL_IN_G(f(f(T389)))
RL_IN_G(f(f(T356))) → QM_IN_G(f(T356))
PS_IN_G(T151) → RT_IN_G(T151)
QP_IN_G(f(f(T179))) → PK_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
RQ_IN_G(f(f(T440))) → QR_IN_G(f(T440))
PV_IN_G(T127) → QW_IN_G(T127)
QW_IN_G(f(f(T151))) → PS_IN_G(T151)
RX_IN_G(f(f(T518))) → QY_IN_G(f(T518))
QN4_IN_G(f(f(T113))) → PZ_IN_G(T113)
PH_IN_G(f(T281)) → U9_G(T281, qF_in_g(f(f(T281))))
PN9_IN_GG(f(T742), f(T742)) → QD_IN_GG(f(T742), f(T742))
PN10_IN_GG(T764, f(T765)) → U63_GG(T764, T765, rN11_in_gg(T764, f(T765)))
PC_IN_GG(T260, f(T260)) → U5_GG(T260, qD_in_gg(f(T260), f(T260)))
PC_IN_GG(T260, f(T260)) → QD_IN_GG(f(T260), f(T260))
RN6_IN_G(f(f(T596))) → QN7_IN_G(f(T596))
RN6_IN_G(f(T601)) → TE_IN_G(T601)
RN5_IN_G(T51) → QF_IN_G(T51)
PB_IN_G(f(f(T642))) → U53_G(T642, rN6_in_g(f(f(T642))))
POL(PB_IN_G(x1)) = 1 + x1
POL(PC_IN_GG(x1, x2)) = 1 + x2
POL(PG_IN_G(x1)) = x1
POL(PH_IN_G(x1)) = 1 + x1
POL(PI_IN_GG(x1, x2)) = 1 + x2
POL(PK_IN_GG(x1, x2)) = 1 + x2
POL(PN10_IN_GG(x1, x2)) = 1 + x2
POL(PN12_IN_G(x1)) = 1 + x1
POL(PN2_IN_G(x1)) = x1
POL(PN3_IN_G(x1)) = x1
POL(PN9_IN_GG(x1, x2)) = 1 + x2
POL(PN_IN_G(x1)) = 1 + x1
POL(PO_IN_G(x1)) = x1
POL(PS_IN_G(x1)) = 1 + x1
POL(PU_IN_G(x1)) = 1 + x1
POL(PV_IN_G(x1)) = 1 + x1
POL(PZ_IN_G(x1)) = 1 + x1
POL(QA_IN_G(x1)) = 1 + x1
POL(QD_IN_GG(x1, x2)) = x2
POL(QF_IN_G(x1)) = x1
POL(QM_IN_G(x1)) = x1
POL(QN4_IN_G(x1)) = x1
POL(QN7_IN_G(x1)) = x1
POL(QP_IN_G(x1)) = x1
POL(QR_IN_G(x1)) = 1 + x1
POL(QW_IN_G(x1)) = x1
POL(QY_IN_G(x1)) = x1
POL(RJ_IN_GG(x1, x2)) = 1 + x2
POL(RL_IN_G(x1)) = x1
POL(RN11_IN_GG(x1, x2)) = 1 + x2
POL(RN13_IN_G(x1)) = 1 + x1
POL(RN1_IN_G(x1)) = 1 + x1
POL(RN5_IN_G(x1)) = 1 + x1
POL(RN6_IN_G(x1)) = 1 + x1
POL(RN8_IN_G(x1)) = x1
POL(RQ_IN_G(x1)) = 1 + x1
POL(RT_IN_G(x1)) = x1
POL(RX_IN_G(x1)) = x1
POL(TE_IN_G(x1)) = 1 + x1
POL(U10_g(x1)) = 0
POL(U11_g(x1)) = 0
POL(U12_gg(x1)) = 0
POL(U13_GG(x1, x2, x3)) = 1 + x2
POL(U13_gg(x1, x2, x3)) = 0
POL(U14_gg(x1)) = 0
POL(U15_gg(x1)) = 0
POL(U16_g(x1)) = 0
POL(U17_G(x1, x2)) = 1 + x1
POL(U17_g(x1, x2)) = 0
POL(U18_g(x1)) = 0
POL(U19_g(x1)) = 0
POL(U1_g(x1)) = 0
POL(U20_G(x1, x2)) = 1 + x1
POL(U20_g(x1, x2)) = 0
POL(U21_g(x1)) = 0
POL(U22_G(x1, x2)) = x1
POL(U22_g(x1, x2)) = 0
POL(U23_g(x1)) = 0
POL(U24_g(x1)) = 0
POL(U25_G(x1, x2)) = x1
POL(U25_g(x1, x2)) = 0
POL(U26_g(x1)) = 0
POL(U27_G(x1, x2)) = 1 + x1
POL(U27_g(x1, x2)) = 0
POL(U28_g(x1)) = 0
POL(U29_g(x1)) = 0
POL(U2_gg(x1)) = 0
POL(U30_G(x1, x2)) = 1 + x1
POL(U30_g(x1, x2)) = 0
POL(U31_g(x1)) = 0
POL(U32_G(x1, x2)) = 1 + x1
POL(U32_g(x1, x2)) = 0
POL(U33_g(x1)) = 0
POL(U34_g(x1)) = 0
POL(U35_G(x1, x2)) = 1 + x1
POL(U35_g(x1, x2)) = 0
POL(U36_g(x1)) = 0
POL(U37_G(x1, x2)) = 1 + x1
POL(U37_g(x1, x2)) = 0
POL(U38_g(x1)) = 0
POL(U39_g(x1)) = 0
POL(U3_GG(x1, x2, x3)) = 1 + x2
POL(U3_gg(x1, x2, x3)) = 0
POL(U40_G(x1, x2)) = 1 + x1
POL(U40_g(x1, x2)) = 0
POL(U41_g(x1)) = 0
POL(U42_G(x1, x2)) = x1
POL(U42_g(x1, x2)) = 0
POL(U43_g(x1)) = 0
POL(U44_G(x1, x2)) = 1 + x1
POL(U44_g(x1, x2)) = 0
POL(U45_g(x1)) = 0
POL(U46_g(x1)) = 0
POL(U47_G(x1, x2)) = x1
POL(U47_g(x1, x2)) = 0
POL(U48_g(x1)) = 0
POL(U49_g(x1)) = 0
POL(U4_gg(x1)) = 0
POL(U50_G(x1, x2)) = x1
POL(U50_g(x1, x2)) = 0
POL(U51_g(x1)) = 0
POL(U52_g(x1)) = 0
POL(U53_G(x1, x2)) = x1
POL(U53_g(x1, x2)) = 0
POL(U54_g(x1)) = 0
POL(U55_gg(x1)) = 0
POL(U56_gg(x1)) = 0
POL(U57_GG(x1, x2, x3)) = 1 + x2
POL(U57_gg(x1, x2, x3)) = 0
POL(U58_gg(x1)) = 0
POL(U59_GG(x1, x2)) = 1 + x1
POL(U59_gg(x1, x2)) = 0
POL(U5_GG(x1, x2)) = 1 + x1
POL(U5_gg(x1, x2)) = 0
POL(U60_gg(x1)) = 0
POL(U61_gg(x1)) = 0
POL(U62_gg(x1)) = 0
POL(U63_GG(x1, x2, x3)) = 1 + x2
POL(U63_gg(x1, x2, x3)) = 0
POL(U64_gg(x1)) = 0
POL(U65_g(x1)) = 0
POL(U66_G(x1, x2)) = 1 + x1
POL(U66_g(x1, x2)) = 0
POL(U67_G(x1, x2)) = 1 + x1
POL(U67_g(x1, x2)) = 0
POL(U68_g(x1)) = 0
POL(U69_G(x1, x2)) = 1 + x1
POL(U69_g(x1, x2)) = 0
POL(U6_gg(x1)) = 0
POL(U70_g(x1)) = 0
POL(U71_g(x1)) = 0
POL(U72_g(x1)) = 0
POL(U73_g(x1)) = 0
POL(U74_g(x1)) = 0
POL(U75_g(x1)) = 0
POL(U76_g(x1)) = 0
POL(U77_gg(x1)) = 0
POL(U78_gg(x1)) = 0
POL(U79_g(x1)) = 0
POL(U7_g(x1)) = 0
POL(U80_g(x1)) = 0
POL(U81_g(x1)) = 0
POL(U82_g(x1)) = 0
POL(U83_gg(x1)) = 0
POL(U84_gg(x1)) = 0
POL(U85_GG(x1, x2)) = 1 + x1
POL(U85_gg(x1, x2)) = 0
POL(U86_gg(x1)) = 0
POL(U87_gg(x1)) = 0
POL(U8_g(x1)) = 0
POL(U9_G(x1, x2)) = 1 + x1
POL(U9_g(x1, x2)) = 0
POL(a) = 0
POL(b) = 0
POL(f(x1)) = 1 + x1
POL(pB_in_g(x1)) = 0
POL(pB_out_g) = 0
POL(pC_in_gg(x1, x2)) = 0
POL(pC_out_gg) = 0
POL(pG_in_g(x1)) = 0
POL(pG_out_g) = 0
POL(pH_in_g(x1)) = 0
POL(pH_out_g) = 0
POL(pI_in_gg(x1, x2)) = 0
POL(pI_out_gg) = 0
POL(pK_in_gg(x1, x2)) = 0
POL(pK_out_gg) = 0
POL(pN10_in_gg(x1, x2)) = 0
POL(pN10_out_gg) = 0
POL(pN12_in_g(x1)) = 0
POL(pN12_out_g) = 0
POL(pN2_in_g(x1)) = 0
POL(pN2_out_g) = 0
POL(pN3_in_g(x1)) = 0
POL(pN3_out_g) = 0
POL(pN9_in_gg(x1, x2)) = 1
POL(pN9_out_gg) = 0
POL(pN_in_g(x1)) = 0
POL(pN_out_g) = 0
POL(pO_in_g(x1)) = 0
POL(pO_out_g) = 0
POL(pS_in_g(x1)) = 0
POL(pS_out_g) = 0
POL(pU_in_g(x1)) = 0
POL(pU_out_g) = 0
POL(pV_in_g(x1)) = 0
POL(pV_out_g) = 0
POL(pZ_in_g(x1)) = 0
POL(pZ_out_g) = 0
POL(qA_in_g(x1)) = 0
POL(qA_out_g) = 0
POL(qD_in_gg(x1, x2)) = 0
POL(qD_out_gg) = 0
POL(qF_in_g(x1)) = 0
POL(qF_out_g) = 0
POL(qM_in_g(x1)) = 0
POL(qM_out_g) = 0
POL(qN4_in_g(x1)) = 0
POL(qN4_out_g) = 0
POL(qN7_in_g(x1)) = 0
POL(qN7_out_g) = 0
POL(qP_in_g(x1)) = 0
POL(qP_out_g) = 0
POL(qR_in_g(x1)) = 0
POL(qR_out_g) = 0
POL(qW_in_g(x1)) = 0
POL(qW_out_g) = 0
POL(qY_in_g(x1)) = 0
POL(qY_out_g) = 0
POL(rJ_in_gg(x1, x2)) = 0
POL(rJ_out_gg) = 0
POL(rL_in_g(x1)) = 0
POL(rL_out_g) = 0
POL(rN11_in_gg(x1, x2)) = 0
POL(rN11_out_gg) = 0
POL(rN13_in_g(x1)) = 0
POL(rN13_out_g) = 0
POL(rN1_in_g(x1)) = 0
POL(rN1_out_g) = 0
POL(rN5_in_g(x1)) = 0
POL(rN5_out_g) = 0
POL(rN6_in_g(x1)) = 0
POL(rN6_out_g) = 0
POL(rN8_in_g(x1)) = 0
POL(rN8_out_g) = 0
POL(rQ_in_g(x1)) = 0
POL(rQ_out_g) = 0
POL(rT_in_g(x1)) = 0
POL(rT_out_g) = 0
POL(rX_in_g(x1)) = 0
POL(rX_out_g) = 0
POL(tE_in_g(x1)) = 0
POL(tE_out_g) = 0
U85_GG(T11, pN12_out_g) → QA_IN_G(T11)
QA_IN_G(f(T656)) → PB_IN_G(f(T656))
PB_IN_G(f(T628)) → RN6_IN_G(f(T628))
PN2_IN_G(f(T534)) → RX_IN_G(f(T534))
QY_IN_G(f(f(T501))) → PU_IN_G(f(T501))
PU_IN_G(f(T456)) → RQ_IN_G(f(T456))
PI_IN_GG(T200, T201) → RJ_IN_GG(T200, T201)
RJ_IN_GG(T228, T229) → PC_IN_GG(T228, T229)
PN12_IN_G(T22) → RN13_IN_G(T22)
RN13_IN_G(T36) → U69_G(T36, qA_in_g(T36))
U69_G(T36, qA_out_g) → RN5_IN_G(T36)
RN5_IN_G(T51) → U44_G(T51, qF_in_g(T51))
U44_G(T51, qF_out_g) → RN6_IN_G(T51)
U47_G(T596, qN7_out_g) → PN3_IN_G(T596)
PN3_IN_G(T89) → U42_G(T89, qN4_in_g(T89))
U42_G(T89, qN4_out_g) → RX_IN_G(T89)
U35_G(T518, qY_out_g) → PV_IN_G(T518)
PV_IN_G(T127) → U32_G(T127, qW_in_g(T127))
U32_G(T127, qW_out_g) → RQ_IN_G(T127)
U25_G(T440, qR_out_g) → PO_IN_G(T440)
PO_IN_G(T165) → U22_G(T165, qP_in_g(T165))
U22_G(T165, qP_out_g) → RL_IN_G(T165)
U17_G(T356, qM_out_g) → PC_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
U3_GG(T254, T255, qD_out_gg) → PC_IN_GG(T254, T255)
PN10_IN_GG(T682, T683) → RN11_IN_GG(T682, T683)
RN11_IN_GG(T710, T711) → PN9_IN_GG(T710, T711)
U57_GG(T736, T737, qD_out_gg) → PN9_IN_GG(T736, T737)
U59_GG(T742, qD_out_gg) → TE_IN_G(T742)
TE_IN_G(T270) → PH_IN_G(T270)
PH_IN_G(T270) → QF_IN_G(f(T270))
PG_IN_G(T75) → U50_G(T75, rN8_in_g(T75))
U50_G(T75, rN8_out_g) → PN2_IN_G(T75)
U40_G(T548, rX_out_g) → PZ_IN_G(T548)
PZ_IN_G(T113) → U37_G(T113, rN1_in_g(T113))
U37_G(T113, rN1_out_g) → PU_IN_G(T113)
U30_G(T470, rQ_out_g) → PS_IN_G(T470)
PS_IN_G(T151) → U27_G(T151, rT_in_g(T151))
U27_G(T151, rT_out_g) → PN_IN_G(T151)
U20_G(T389, rL_out_g) → PI_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
U13_GG(T303, T304, rJ_out_gg) → PI_IN_GG(T303, T304)
PI_IN_GG(T303, f(T304)) → RJ_IN_GG(T303, f(T304))
RJ_IN_GG(T285, T285) → TE_IN_G(T285)
RT_IN_G(T165) → PO_IN_G(T165)
PO_IN_G(T165) → QP_IN_G(T165)
PU_IN_G(f(f(T470))) → RQ_IN_G(f(f(T470)))
PZ_IN_G(T113) → RN1_IN_G(T113)
RN1_IN_G(T127) → PV_IN_G(T127)
PN2_IN_G(f(f(T548))) → RX_IN_G(f(f(T548)))
PG_IN_G(T75) → RN8_IN_G(T75)
RN8_IN_G(T89) → PN3_IN_G(T89)
PN3_IN_G(T89) → QN4_IN_G(T89)
U9_G(T281, qF_out_g) → PH_IN_G(T281)
PH_IN_G(f(T281)) → QF_IN_G(f(f(T281)))
RN11_IN_GG(f(T746), T746) → TE_IN_G(T746)
PN10_IN_GG(a, b) → RN11_IN_GG(a, b)
U63_GG(T764, T765, rN11_out_gg) → PN10_IN_GG(T764, T765)
PN10_IN_GG(T764, f(T765)) → RN11_IN_GG(T764, f(T765))
U5_GG(T260, qD_out_gg) → TE_IN_G(T260)
RN13_IN_G(T36) → QA_IN_G(T36)
PN12_IN_G(T614) → U66_G(T614, rN13_in_g(T614))
U66_G(T614, rN13_out_g) → U67_G(T614, rN5_in_g(T614))
U67_G(T614, rN5_out_g) → PB_IN_G(T614)
U53_G(T642, rN6_out_g) → PG_IN_G(T642)
PB_IN_G(f(f(T642))) → RN6_IN_G(f(f(T642)))
U66_G(T614, rN13_out_g) → RN5_IN_G(T614)
PK_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → PI_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
PK_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → PI_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)
qD_in_gg(a, b) → qD_out_gg
qD_in_gg(T11, f(f(T11))) → U85_gg(T11, pN12_in_g(T11))
pN12_in_g(T22) → U65_g(rN13_in_g(T22))
rN13_in_g(T36) → U69_g(T36, qA_in_g(T36))
qA_in_g(f(T656)) → U1_g(pB_in_g(f(T656)))
pB_in_g(f(T628)) → U52_g(rN6_in_g(f(T628)))
rN6_in_g(f(T565)) → U46_g(qN7_in_g(T565))
qN7_in_g(f(f(T579))) → U82_g(pN2_in_g(f(T579)))
pN2_in_g(f(T534)) → U39_g(rX_in_g(f(T534)))
rX_in_g(f(T487)) → U34_g(qY_in_g(T487))
qY_in_g(f(f(T501))) → U81_g(pU_in_g(f(T501)))
pU_in_g(f(T456)) → U29_g(rQ_in_g(f(T456)))
rQ_in_g(f(T409)) → U24_g(qR_in_g(T409))
qR_in_g(f(f(T423))) → U80_g(pN_in_g(f(T423)))
pN_in_g(f(T375)) → U19_g(rL_in_g(f(T375)))
rL_in_g(f(T322)) → U16_g(qM_in_g(T322))
qM_in_g(f(f(T336))) → U79_g(pK_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pK_in_gg(T200, T201) → U15_gg(pI_in_gg(T200, T201))
pI_in_gg(T200, T201) → U12_gg(rJ_in_gg(T200, T201))
rJ_in_gg(T228, T229) → U77_gg(pC_in_gg(T228, T229))
pC_in_gg(T228, T229) → U2_gg(qD_in_gg(f(T228), T229))
qD_in_gg(T682, f(f(T683))) → U87_gg(pN10_in_gg(T682, T683))
pN10_in_gg(T682, T683) → U61_gg(rN11_in_gg(T682, T683))
rN11_in_gg(T710, T711) → U83_gg(pN9_in_gg(T710, T711))
pN9_in_gg(T710, T711) → U55_gg(qD_in_gg(T710, T711))
U55_gg(qD_out_gg) → pN9_out_gg
pN9_in_gg(a, b) → U56_gg(qD_in_gg(a, b))
U56_gg(qD_out_gg) → pN9_out_gg
pN9_in_gg(T736, f(T737)) → U57_gg(T736, T737, qD_in_gg(T736, f(T737)))
U57_gg(T736, T737, qD_out_gg) → U58_gg(pN9_in_gg(T736, T737))
pN9_in_gg(f(T742), f(T742)) → U59_gg(T742, qD_in_gg(f(T742), f(T742)))
U59_gg(T742, qD_out_gg) → U60_gg(tE_in_g(T742))
tE_in_g(T270) → U11_g(pH_in_g(T270))
pH_in_g(T270) → U8_g(qF_in_g(f(T270)))
qF_in_g(f(f(T75))) → U7_g(pG_in_g(T75))
pG_in_g(T75) → U50_g(T75, rN8_in_g(T75))
rN8_in_g(T89) → U71_g(pN3_in_g(T89))
pN3_in_g(T89) → U42_g(T89, qN4_in_g(T89))
qN4_in_g(f(f(T113))) → U72_g(pZ_in_g(T113))
pZ_in_g(T113) → U37_g(T113, rN1_in_g(T113))
rN1_in_g(T127) → U73_g(pV_in_g(T127))
pV_in_g(T127) → U32_g(T127, qW_in_g(T127))
qW_in_g(f(f(T151))) → U74_g(pS_in_g(T151))
pS_in_g(T151) → U27_g(T151, rT_in_g(T151))
rT_in_g(T165) → U75_g(pO_in_g(T165))
pO_in_g(T165) → U22_g(T165, qP_in_g(T165))
qP_in_g(f(f(T179))) → U76_g(pK_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(pK_out_gg) → qP_out_g
U22_g(T165, qP_out_g) → pO_out_g
U22_g(T165, qP_out_g) → U23_g(rL_in_g(T165))
rL_in_g(f(f(T356))) → U17_g(T356, qM_in_g(f(T356)))
U17_g(T356, qM_out_g) → U18_g(pC_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
pC_in_gg(T254, f(T255)) → U3_gg(T254, T255, qD_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, qD_out_gg) → U4_gg(pC_in_gg(T254, T255))
pC_in_gg(T260, f(T260)) → U5_gg(T260, qD_in_gg(f(T260), f(T260)))
U5_gg(T260, qD_out_gg) → U6_gg(tE_in_g(T260))
U6_gg(tE_out_g) → pC_out_gg
U4_gg(pC_out_gg) → pC_out_gg
U18_g(pC_out_gg) → rL_out_g
U23_g(rL_out_g) → pO_out_g
U75_g(pO_out_g) → rT_out_g
U27_g(T151, rT_out_g) → pS_out_g
U27_g(T151, rT_out_g) → U28_g(pN_in_g(T151))
pN_in_g(f(f(T389))) → U20_g(T389, rL_in_g(f(f(T389))))
U20_g(T389, rL_out_g) → U21_g(pI_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
pI_in_gg(T303, f(T304)) → U13_gg(T303, T304, rJ_in_gg(T303, f(T304)))
rJ_in_gg(T285, T285) → U78_gg(tE_in_g(T285))
U78_gg(tE_out_g) → rJ_out_gg
U13_gg(T303, T304, rJ_out_gg) → U14_gg(pI_in_gg(T303, T304))
U14_gg(pI_out_gg) → pI_out_gg
U21_g(pI_out_gg) → pN_out_g
U28_g(pN_out_g) → pS_out_g
U74_g(pS_out_g) → qW_out_g
U32_g(T127, qW_out_g) → pV_out_g
U32_g(T127, qW_out_g) → U33_g(rQ_in_g(T127))
rQ_in_g(f(f(T440))) → U25_g(T440, qR_in_g(f(T440)))
U25_g(T440, qR_out_g) → U26_g(pO_in_g(T440))
U26_g(pO_out_g) → rQ_out_g
U33_g(rQ_out_g) → pV_out_g
U73_g(pV_out_g) → rN1_out_g
U37_g(T113, rN1_out_g) → pZ_out_g
U37_g(T113, rN1_out_g) → U38_g(pU_in_g(T113))
pU_in_g(f(f(T470))) → U30_g(T470, rQ_in_g(f(f(T470))))
U30_g(T470, rQ_out_g) → U31_g(pS_in_g(T470))
U31_g(pS_out_g) → pU_out_g
U38_g(pU_out_g) → pZ_out_g
U72_g(pZ_out_g) → qN4_out_g
U42_g(T89, qN4_out_g) → pN3_out_g
U42_g(T89, qN4_out_g) → U43_g(rX_in_g(T89))
rX_in_g(f(f(T518))) → U35_g(T518, qY_in_g(f(T518)))
U35_g(T518, qY_out_g) → U36_g(pV_in_g(T518))
U36_g(pV_out_g) → rX_out_g
U43_g(rX_out_g) → pN3_out_g
U71_g(pN3_out_g) → rN8_out_g
U50_g(T75, rN8_out_g) → pG_out_g
U50_g(T75, rN8_out_g) → U51_g(pN2_in_g(T75))
pN2_in_g(f(f(T548))) → U40_g(T548, rX_in_g(f(f(T548))))
U40_g(T548, rX_out_g) → U41_g(pZ_in_g(T548))
U41_g(pZ_out_g) → pN2_out_g
U51_g(pN2_out_g) → pG_out_g
U7_g(pG_out_g) → qF_out_g
U8_g(qF_out_g) → pH_out_g
pH_in_g(f(T281)) → U9_g(T281, qF_in_g(f(f(T281))))
U9_g(T281, qF_out_g) → U10_g(pH_in_g(T281))
U10_g(pH_out_g) → pH_out_g
U11_g(pH_out_g) → tE_out_g
U60_gg(tE_out_g) → pN9_out_gg
U58_gg(pN9_out_gg) → pN9_out_gg
U83_gg(pN9_out_gg) → rN11_out_gg
rN11_in_gg(f(T746), T746) → U84_gg(tE_in_g(T746))
U84_gg(tE_out_g) → rN11_out_gg
U61_gg(rN11_out_gg) → pN10_out_gg
pN10_in_gg(a, b) → U62_gg(rN11_in_gg(a, b))
U62_gg(rN11_out_gg) → pN10_out_gg
pN10_in_gg(T764, f(T765)) → U63_gg(T764, T765, rN11_in_gg(T764, f(T765)))
U63_gg(T764, T765, rN11_out_gg) → U64_gg(pN10_in_gg(T764, T765))
U64_gg(pN10_out_gg) → pN10_out_gg
U87_gg(pN10_out_gg) → qD_out_gg
U2_gg(qD_out_gg) → pC_out_gg
U77_gg(pC_out_gg) → rJ_out_gg
U12_gg(rJ_out_gg) → pI_out_gg
U15_gg(pI_out_gg) → pK_out_gg
U79_g(pK_out_gg) → qM_out_g
U16_g(qM_out_g) → rL_out_g
U19_g(rL_out_g) → pN_out_g
U80_g(pN_out_g) → qR_out_g
U24_g(qR_out_g) → rQ_out_g
U29_g(rQ_out_g) → pU_out_g
U81_g(pU_out_g) → qY_out_g
U34_g(qY_out_g) → rX_out_g
U39_g(rX_out_g) → pN2_out_g
U82_g(pN2_out_g) → qN7_out_g
U46_g(qN7_out_g) → rN6_out_g
rN6_in_g(f(f(T596))) → U47_g(T596, qN7_in_g(f(T596)))
U47_g(T596, qN7_out_g) → U48_g(pN3_in_g(T596))
U48_g(pN3_out_g) → rN6_out_g
rN6_in_g(f(T601)) → U49_g(tE_in_g(T601))
U49_g(tE_out_g) → rN6_out_g
U52_g(rN6_out_g) → pB_out_g
pB_in_g(f(f(T642))) → U53_g(T642, rN6_in_g(f(f(T642))))
U53_g(T642, rN6_out_g) → U54_g(pG_in_g(T642))
U54_g(pG_out_g) → pB_out_g
U1_g(pB_out_g) → qA_out_g
U69_g(T36, qA_out_g) → rN13_out_g
U69_g(T36, qA_out_g) → U70_g(rN5_in_g(T36))
rN5_in_g(T51) → U44_g(T51, qF_in_g(T51))
U44_g(T51, qF_out_g) → rN5_out_g
U44_g(T51, qF_out_g) → U45_g(rN6_in_g(T51))
U45_g(rN6_out_g) → rN5_out_g
U70_g(rN5_out_g) → rN13_out_g
U65_g(rN13_out_g) → pN12_out_g
pN12_in_g(T614) → U66_g(T614, rN13_in_g(T614))
U66_g(T614, rN13_out_g) → U67_g(T614, rN5_in_g(T614))
U67_g(T614, rN5_out_g) → pN12_out_g
U67_g(T614, rN5_out_g) → U68_g(pB_in_g(T614))
U68_g(pB_out_g) → pN12_out_g
U85_gg(T11, pN12_out_g) → qD_out_gg
U85_gg(T11, pN12_out_g) → U86_gg(qA_in_g(T11))
U86_gg(qA_out_g) → qD_out_gg
qD_in_gg(x0, x1)
pN12_in_g(x0)
rN13_in_g(x0)
qA_in_g(x0)
pB_in_g(x0)
rN6_in_g(x0)
qN7_in_g(x0)
pN2_in_g(x0)
rX_in_g(x0)
qY_in_g(x0)
pU_in_g(x0)
rQ_in_g(x0)
qR_in_g(x0)
pN_in_g(x0)
rL_in_g(x0)
qM_in_g(x0)
pK_in_gg(x0, x1)
pI_in_gg(x0, x1)
rJ_in_gg(x0, x1)
pC_in_gg(x0, x1)
pN10_in_gg(x0, x1)
rN11_in_gg(x0, x1)
pN9_in_gg(x0, x1)
U55_gg(x0)
U56_gg(x0)
U57_gg(x0, x1, x2)
U59_gg(x0, x1)
tE_in_g(x0)
pH_in_g(x0)
qF_in_g(x0)
pG_in_g(x0)
rN8_in_g(x0)
pN3_in_g(x0)
qN4_in_g(x0)
pZ_in_g(x0)
rN1_in_g(x0)
pV_in_g(x0)
qW_in_g(x0)
pS_in_g(x0)
rT_in_g(x0)
pO_in_g(x0)
qP_in_g(x0)
U76_g(x0)
U22_g(x0, x1)
U17_g(x0, x1)
U3_gg(x0, x1, x2)
U5_gg(x0, x1)
U6_gg(x0)
U4_gg(x0)
U18_g(x0)
U23_g(x0)
U75_g(x0)
U27_g(x0, x1)
U20_g(x0, x1)
U78_gg(x0)
U13_gg(x0, x1, x2)
U14_gg(x0)
U21_g(x0)
U28_g(x0)
U74_g(x0)
U32_g(x0, x1)
U25_g(x0, x1)
U26_g(x0)
U33_g(x0)
U73_g(x0)
U37_g(x0, x1)
U30_g(x0, x1)
U31_g(x0)
U38_g(x0)
U72_g(x0)
U42_g(x0, x1)
U35_g(x0, x1)
U36_g(x0)
U43_g(x0)
U71_g(x0)
U50_g(x0, x1)
U40_g(x0, x1)
U41_g(x0)
U51_g(x0)
U7_g(x0)
U8_g(x0)
U9_g(x0, x1)
U10_g(x0)
U11_g(x0)
U60_gg(x0)
U58_gg(x0)
U83_gg(x0)
U84_gg(x0)
U61_gg(x0)
U62_gg(x0)
U63_gg(x0, x1, x2)
U64_gg(x0)
U87_gg(x0)
U2_gg(x0)
U77_gg(x0)
U12_gg(x0)
U15_gg(x0)
U79_g(x0)
U16_g(x0)
U19_g(x0)
U80_g(x0)
U24_g(x0)
U29_g(x0)
U81_g(x0)
U34_g(x0)
U39_g(x0)
U82_g(x0)
U46_g(x0)
U47_g(x0, x1)
U48_g(x0)
U49_g(x0)
U52_g(x0)
U53_g(x0, x1)
U54_g(x0)
U1_g(x0)
U69_g(x0, x1)
rN5_in_g(x0)
U44_g(x0, x1)
U45_g(x0)
U70_g(x0)
U65_g(x0)
U66_g(x0, x1)
U67_g(x0, x1)
U68_g(x0)
U85_gg(x0, x1)
U86_gg(x0)